307308309310311312313314315
} public void shutdown(boolean restart) { // Inform all context listeners of what is happening for (ContextListener l : listeners) { new StopContextListenerThread(l).waitForStop(); } runner.shutDown(); }
494495496497498499500501502503504
} } // Inform all context listeners of what is happening for (ContextListener l : contextListeners) { new StopContextListenerThread(l).waitForStop(); } // if (log.isInfoEnabled()) { log.info("Flushing preferences");