Пример #1
0
 private void scheduleNewSelection(final JavaSelectionEvent selection) {
   try {
     schedulerLock.lock();
     scheduler =
         new ProviderExecutionScheduler(providers, subscriptionManager, contentPart, extdocBus);
     scheduler.scheduleOnSelection(selection);
   } finally {
     schedulerLock.unlock();
   }
 }
Пример #2
0
 // it might be necessary to add a lock here... a synchronized method is not
 // possible as this method would block the "syncScheduling" method
 private void disposeScheduler() {
   if (scheduler != null) {
     scheduler.dispose();
     scheduler = null;
   }
 }