final RestartServerCallback callback = getCallback(
RestartServerEvent.getType());
if (callback != null) {
restartAction = new RestartAction() {
public void restartServer(TreeLogger logger) {
callback.onRestartServer(logger);
}
};
}
webServerLog = new WebServerPanel(options.getPort(), getLogLevel(),
options.getLogFile("webserver.log"), restartAction);