|
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=ISO-8859-1" http-equiv="Content-Type"><title>Create an SPDX document</title>
|
3 |
<meta content="text/html;charset=UTF-8" http-equiv="Content-Type"><title>Web server settings</title>
|
| 4 |
|
4 |
|
| 5 |
</head>
|
5 |
</head>
|
| 6 |
<body>
|
6 |
<body>
|
| 7 |
<form action="CreateSPDX.java?method=create" 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 settings</h2>
|
9 |
<h2><img style="width: 32px; height: 32px;" alt="" src="image-map.png" hspace="3"> Web server settings</h2>
|
| 10 |
This tool can be used from a desktop or from a web
|
10 |
This software can be accessed from either a desktop or from a web
|
| 11 |
browser. On this page you find the settings to start/stop the server or
|
11 |
browser if you wish. On this page you find the settings to start/stop
|
|
|
12 |
the server or
|
| 12 |
change its settings.<br>
|
13 |
change its settings.<br>
|
| 13 |
<br>
|
14 |
<br>
|
| 14 |
<br>
|
15 |
<br>
|
| 15 |
<div style="margin-left: 10px;">Port that will be used
|
16 |
<div style="margin-left: 10px;">Port to be used
|
| 16 |
(default is 10101)<br>
|
17 |
(default is 10101)<br>
|
| 17 |
<input maxlength="5" value="10101" name="port" style="width: 150px;"><br>
|
18 |
<input maxlength="5" value="10101" name="port" style="width: 150px;"><br>
|
| 18 |
<br>
|
19 |
<br>
|
| 19 |
<span style="font-weight: bold;">Status</span><br>
|
20 |
<span style="font-weight: bold;">Status</span><br>
|
| 20 |
<input name="status" value="online" type="radio">Online<br>
|
21 |
<input name="status" value="online" type="radio">Online<br>
|