protected synchronized void stopHTTPServerWorkers() throws HTTPServerException {
logger.log(2, "HTTP_SERVER/STOP_HTTP_SERVER_WORKERS");
try {
for (HTTPServerWorker httpServerWorker2 : httpServerWorkers) {
httpServerWorker2.stop();
}
httpServerWorkers.removeAll(httpServerWorkers);
} catch (Exception e) {
logger.log(2, "HTTP_SERVER/STOP_HTTP_SERVER_WORKERS: EXCEPTION", e);
throw new HTTPServerException("HTTP_SERVER/STOP_HTTP_SERVER_WORKERS", e);
}
}
protected synchronized void stopHTTPServerWorker(HTTPServerWorker httpServerWorker)
throws HTTPServerException {
logger.log(2, "HTTP_SERVER/STOP_HTTP_SERVER_WORKER");
try {
httpServerWorker.stop();
httpServerWorkers.remove(httpServerWorker);
} catch (Exception e) {
logger.log(2, "HTTP_SERVER/STOP_HTTP_SERVER_WORKER: EXCEPTION", e);
throw new HTTPServerException("HTTP_SERVER/STOP_HTTP_SERVER_WORKER", e);
}
}
