public void sendPartitionLostEvent(int partitionId, int lostReplicaIndex) { final IPartitionLostEvent event = new IPartitionLostEvent(partitionId, lostReplicaIndex, nodeEngine.getThisAddress()); final InternalPartitionLostEventPublisher publisher = new InternalPartitionLostEventPublisher(nodeEngine, event); nodeEngine.getExecutionService().execute(SYSTEM_EXECUTOR, publisher); }
public void sendPartitionLostEvent(int partitionId, int lostReplicaIndex) { final IPartitionLostEvent event = new IPartitionLostEvent(partitionId, lostReplicaIndex, nodeEngine.getThisAddress()); final InternalPartitionLostEventPublisher publisher = new InternalPartitionLostEventPublisher(nodeEngine, event); nodeEngine.getExecutionService().execute(SYSTEM_EXECUTOR, publisher); }