|
a/tool/run/plugins/webserver/serverSettings.html |
|
b/tool/run/plugins/webserver/serverSettings.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" value="10101" name="port" style="width: 150px;"><br>
|
14 |
<input maxlength="5" value="10101" name="port" style="width: 150px;"><br>
|