int httpPort = Settings.getInt(HTTP_PORT_SETTING, DEFAULT_WEB_PORT);
webServer = new WebServer(httpPort);
webServer.setDashboardContext(this);
InternalSettings.addPropertyChangeListener
(HTTP_PORT_SETTING, new HttpPortSettingListener());
ScriptID.setNameResolver(new ScriptNameResolver(webServer));
} catch (IOException ioe) {
logErr("Couldn't start web server", ioe);
}
pt.click("Started web server");