|
a/tool/run/plugins/webserver/temp.html |
|
b/tool/run/plugins/webserver/temp.html |
|
... |
|
... |
4 |
|
4 |
|
5 |
</head>
|
5 |
</head>
|
6 |
<body>
|
6 |
<body>
|
7 |
<form action="server?x=save" method="post">
|
7 |
<form action="server?x=save" method="post">
|
8 |
<div style="margin-left: 10px;">
|
8 |
<div style="margin-left: 10px;">
|
9 |
<h2><img style="width: 32px; height: 32px;" alt="" src="image-map.png" hspace="3"> Web server settings</h2>
|
9 |
<h2><img style="width: 32px; height: 32px;" alt="" src="image-map.png" hspace="3"> Web server settings</h2>Enable the web portal version if you wish. To open the web portal on your browser, <a href="/webserver/server.java?x=open">click this link</a>.<br>
|
10 |
This software can be accessed from either a desktop or from a web
|
|
|
11 |
browser if you wish. To open TripleCheck on your browser, <a href="/webserver/server.java?x=open">click this link</a>.<br>
|
|
|
12 |
<br>
|
10 |
<br>
|
13 |
<br>
|
11 |
<br>
|
14 |
<div style="margin-left: 10px;">Port to be used
|
12 |
<div style="margin-left: 10px;">Port to be used
|
15 |
(default is 10101)<br>
|
13 |
(default is 10101)<br>
|
16 |
<input maxlength="5" name="port" style="width: 150px;" value="10101"><br>
|
14 |
<input maxlength="5" name="port" style="width: 150px;" value="10101"><br>
|