public void deregister() { this.cm.deregisterObserver(this); } }
private void stopProcedureExecutor() { if (procedureExecutor != null) { configurationManager.deregisterObserver(procedureExecutor.getEnvironment()); procedureExecutor.getEnvironment().getRemoteDispatcher().stop(); procedureExecutor.stop(); procedureExecutor.join(); procedureExecutor = null; } if (procedureStore != null) { procedureStore.stop(isAborted()); procedureStore = null; } }
/** * {@inheritDoc} */ @Override public void deregisterChildren(ConfigurationManager manager) { for (Store s : this.stores.values()) { configurationManager.get().deregisterObserver(s); } }
public void deregister() { this.cm.deregisterObserver(this); } }