Java MergeTask.stop Examples

Example #1

File: Merger.java Project: shahidminhas/abc

 void cancelMerge(MergeId id) {
   if (setMergeId(id, null)) {
     merge_task.stop();
     merge_rsps.reset();
     gms.getViewHandler().resume(id);
   }
 }

Example #2

File: Merger.java Project: wburns/JGroups

 void cancelMerge(MergeId id) {
   if (setMergeId(id, null)) {
     merge_task.stop();
     stopMergeKiller();
     merge_rsps.reset();
     gms.getViewHandler().resume();
     gms.getDownProtocol().down(new Event(Event.RESUME_STABLE));
   }
 }

Example #3

File: Merger.java Project: shahidminhas/abc

 void stop() {
   merge_task.stop();
 }