| commit | a76f71656c69c99e657588c2becf6427bfbb4d05 | [log] [tgz] |
|---|---|---|
| author | David Ostrovsky <david@ostrovsky.org> | Wed Feb 13 20:43:35 2019 +0100 |
| committer | David Ostrovsky <david@ostrovsky.org> | Fri Feb 15 18:51:30 2019 +0000 |
| tree | 25ce84a79232bebe7ce04d1ae731e00d9a93704f | |
| parent | 77ecc48784ea15d81c297ead089b5a0dea8db1bd [diff] |
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