tree 25ce84a79232bebe7ce04d1ae731e00d9a93704f
parent 77ecc48784ea15d81c297ead089b5a0dea8db1bd
author David Ostrovsky <david@ostrovsky.org> 1550087015 +0100
committer David Ostrovsky <david@ostrovsky.org> 1550256690 +0000

Fix delete change event propagation

For deleted changes the checker always returns no result and thus all
change deletion events are erroneously dropped. To rectify skip the
check in that case, construct the index event manually and dispatch
it to the other nodes.

Change-Id: I567b6e12c772174d554ca3c5d3f9cda4c2dba518