Java IJobManager.endRule Examples

Example #1

File: LastSaveReferenceProvider.java Project: limeikle/proof-general

 private void unlockDocument(IJobManager jobMgr, ISchedulingRule rule) {
   if (rule != null) {
     jobMgr.endRule(rule);
   } else
     synchronized (fDocumentAccessorLock) {
       fDocumentLocked = false;
       fDocumentAccessorLock.notifyAll();
     }
 }