Switch to unified view

a/tool/run/plugins/webserver/temp.html b/tool/run/plugins/webserver/temp.html
1
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
1
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
2
<html><head>
2
<html><head>
3
<meta content="text/html;charset=UTF-8" http-equiv="Content-Type"><title>Web server settings</title>
3
<meta content="text/html;charset=UTF-8" http-equiv="Content-Type"><title>Web server settings</title></head>
4
5
</head>
6
<body>
4
<body>
7
<form action="server?x=save" method="post">
5
<form action="server?x=save" method="post">
8
<div style="margin-left: 10px;">
6
<div style="margin-left: 10px;">
9
<h2><img style="width: 32px; height: 32px;" alt="" src="image-map.png" hspace="3"> Web server settings</h2>
7
<h2><img style="width: 32px; height: 32px;" alt="" src="image-map.png" hspace="3"> Web server settings</h2>
10
This software can be accessed from either a desktop or from a web
8
This software can be accessed from either a desktop or from a web
11
browser if you wish. On this page you find the settings to start/stop
9
browser if you wish. To open TripleCheck on your browser, <a href="/webserver/server.java?x=open">click this link</a>.<br>
12
the server or
13
change its settings.<br>
14
<br>
10
<br>
15
<br>
11
<br>
16
<div style="margin-left: 10px;">Port to be used
12
<div style="margin-left: 10px;">Port to be used
17
(default is 10101)<br>
13
(default is 10101)<br>
18
<input maxlength="5" name="port" style="width: 150px;" value="10101"><br>
14
<input maxlength="5" name="port" style="width: 150px;" value="10101"><br>