/** Sends an elect event to the session for the given member. */ public void elect(MemberState member) { if (session.state().active()) { session.publish("elect", member.id()); } }
/** Sends a leave event to the session for the given member. */ public void leave(MemberState member) { if (session.state().active()) { session.publish("leave", member.id()); } }
/** Sends a term event to the session for the given member. */ public void term(long term) { if (session.state().active()) { session.publish("term", term); } }
/** Sends a join event to the session for the given member. */ public void join(MemberState member) { if (session.state().active()) { session.publish("join", member.info()); } }