Switch to unified view

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>