|
a/tool/run/plugins/webserver/server.java |
|
b/tool/run/plugins/webserver/server.java |
|
... |
|
... |
| 89 |
// get the current port number
|
89 |
// get the current port number
|
| 90 |
String portNumber = settings.read("port", definition.portDefault);
|
90 |
String portNumber = settings.read("port", definition.portDefault);
|
| 91 |
|
91 |
|
| 92 |
// All checked, let's open the front page
|
92 |
// All checked, let's open the front page
|
| 93 |
utils.internet.openURL("http://127.0.0.1:" + portNumber
|
93 |
utils.internet.openURL("http://127.0.0.1:" + portNumber
|
| 94 |
+ "/webserver/intro.html");
|
94 |
+ "/basic/home");
|
| 95 |
|
95 |
|
| 96 |
String message = html.h3("Opening your web browser..");
|
96 |
String message = html.h3("Opening your web browser..");
|
| 97 |
request.setAnswer(utils.html.redirect("/webserver/server", 2, message));
|
97 |
request.setAnswer(utils.html.redirect("/webserver/server", 2, message));
|
| 98 |
}
|
98 |
}
|
| 99 |
|
99 |
|