private void terminate() {
// Stop the run daemon.
try {
runQ.exit();
} catch (Throwable t) {
logger.log(Level.SEVERE, "Error shutting down run daemon", t);
}
// Shutdown the log server.
if (logServer != null)
try {
logServer.shutdown();
} catch (Throwable t) {
logger.log(Level.SEVERE, "Error shutting down log server", t);
}
}
