Diff of /tool/run/plugins/webserver/server.java [r6] .. [r7]

  Switch to unified view

a/tool/run/plugins/webserver/server.java b/tool/run/plugins/webserver/server.java 
...
 
...
83
83
84 
       // get the current port number
84 
       // get the current port number
85 
       String portNumber = settings.read("port", definition.portDefault);
85 
       String portNumber = settings.read("port", definition.portDefault);
86
86
87 
       // All checked, let's open the front page
87 
       // All checked, let's open the front page
88 
       utils.internet.openURL("http://localhost:" + portNumber
88 
       utils.internet.openURL("http://127.0.0.1:" + portNumber
89 
               + "/webserver/intro.html");
89 
               + "/webserver/intro.html");
90
90
91 
       String message = html.h3("Opening your web browser..");
91 
       String message = html.h3("Opening your web browser..");
92 
       request.setAnswer(utils.html.redirect("/webserver/server", 2, message));
92 
       request.setAnswer(utils.html.redirect("/webserver/server", 2, message));
93 
    }
93 
    }