tree 4585be795d216f26c1134ed45415c16198728ccc
parent 5af509297cdfb18d2d5ad5c7d16b0d1e04d8f22a
author Antonio Barone <syntonyze@gmail.com> 1757417552 +0200
committer Antonio Barone <syntonyze@gmail.com> 1757601747 +0200

Forward project-wide change index deletions

When a project is deleted, all of its changes are removed from the
index.

Listen to the core onAllChangesDeletedForProject hook (introduced by
I4c8a536290) and forward a single project-scoped index/change request so
peers can delete all change documents for that project in one operation.

To propagate this event to the peer nodes, this change adds:
- a REST endpoint: DELETE
  /plugins/high-availability/index/change/<project>~0
- A JGroups command

Bug: Issue 443765380
Change-Id: Idcd255f0e9778b6c4b8495dafd2f5ecdce4e1a91