Пример #1
0
 /** 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());
   }
 }
Пример #2
0
 /** 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());
   }
 }
Пример #3
0
 /** Sends a term event to the session for the given member. */
 public void term(long term) {
   if (session.state().active()) {
     session.publish("term", term);
   }
 }
Пример #4
0
 /** 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());
   }
 }