예제 #1
0
파일: GMS.java 프로젝트: jtoerber/JGroups 
 public void stop() {
   view_handler.stop(true);
   if (impl != null) impl.stop();
   if (prev_members != null) prev_members.clear();
 }