protected synchronized void waitWorkers() throws InterruptedException { if (jobMonitor == null) { return; } // else jobMonitor.waitDone(); }
protected synchronized void waitWorkers() throws InterruptedException { if (jobMonitor == null) { return; } // else jobMonitor.waitDone(); }
protected synchronized void waitWorkers() throws InterruptedException { if (jobMonitor == null) { return; } // else jobMonitor.waitDone(); }