--- a/tool/src/www/WebServer.java
+++ b/tool/src/www/WebServer.java
@@ -98,13 +98,15 @@
- /** Start our instance */
- public void startServer(){
+ /** Start our web server instance
+ * @param portNumber the port of communications (typically 80 for Internet)
+ */
+ public void startServer(String portNumber){
try {
// get the port number
- String portNumber = core.settings.read(definition.port,
- definition.portDefault);
+// String portNumber = core.settings.read(definition.port,
+// definition.portDefault);
int serverPort = Integer.parseInt(portNumber);
// launch our server instance
@@ -122,7 +124,8 @@
+ " machine", portNumber);
} catch (IOException ex) {
- log.write(is.ERROR, "Error occurred: %1", ex.getMessage());
+ log.write(is.ERROR, "Web server error. Couldn't open port %1: %2"
+ ,portNumber , ex.getMessage());
}
}