private void recordLeadershipStatus( PaxosLeadershipToken token, StillLeadingStatus status) { if (status == StillLeadingStatus.NO_QUORUM) { eventRecorder.recordNoQuorum(token.value); } else if (status == StillLeadingStatus.NOT_LEADING) { eventRecorder.recordNotLeading(token.value); } }
private void recordLeadershipStatus( PaxosLeadershipToken token, StillLeadingStatus status) { if (status == StillLeadingStatus.NO_QUORUM) { eventRecorder.recordNoQuorum(token.value); } else if (status == StillLeadingStatus.NOT_LEADING) { eventRecorder.recordNotLeading(token.value); } }