Web-services ordered by port number.

diff --git a/helm/on-line/html/control.html b/helm/on-line/html/control.html
index 1e07c108fa52fa66b6c7eab1a2773285ba280ff9..183347a9792c4f4b390a52bb0d6e1f55ed6196ea 100644 (file)
--- a/helm/on-line/html/control.html
+++ b/helm/on-line/html/control.html
@@ -116,19 +116,19 @@ and
 
 <table border="0">
   <tr>
-    <th colspan="2" align="left">Proof-Checker URL</th>
+    <th colspan="2" align="left">URI-Set URL</th>
   </tr>
   <tr>
     <td>
-      <form name="proofcheckerURL">
+      <form name="uri_set_queueURL">
         <script>
-         document.write('<input type="text" value="' + getInitialProofCheckerURL() + '" size="50"/>');
+         document.write('<input type="text" value="' + getInitialURISetQueueURL() + '" size="50"/>');
        </script>
       </form>
     </td>
     <td>
       <form>
-        <select onChange="selectProofCheckerURL(this)">
+        <select onChange="selectURISetQueueURL(this)">
          <option value="">---</option>
          <option value="localhost">localhost</option>
          <option value="mowgli.cs.unibo.it">mowgli</option>
@@ -140,7 +140,7 @@ and
     </td>
     <td>
       <form>
-        <input type="button" value="Check" onClick="top.result.location = getProofCheckerURL() + 'help'"/>
+        <input type="button" value="Check" onClick="top.result.location = getURISetQueueURL() + 'help'"/>
       </form>
     </td>
   </tr>
@@ -184,19 +184,19 @@ and
 
 <table border="0">
   <tr>
-    <th colspan="2" align="left">URI-Set URL</th>
+    <th colspan="2" align="left">Proof-Checker URL</th>
   </tr>
   <tr>
     <td>
-      <form name="uri_set_queueURL">
+      <form name="proofcheckerURL">
         <script>
-         document.write('<input type="text" value="' + getInitialURISetQueueURL() + '" size="50"/>');
+         document.write('<input type="text" value="' + getInitialProofCheckerURL() + '" size="50"/>');
        </script>
       </form>
     </td>
     <td>
       <form>
-        <select onChange="selectURISetQueueURL(this)">
+        <select onChange="selectProofCheckerURL(this)">
          <option value="">---</option>
          <option value="localhost">localhost</option>
          <option value="mowgli.cs.unibo.it">mowgli</option>
@@ -208,7 +208,7 @@ and
     </td>
     <td>
       <form>
-        <input type="button" value="Check" onClick="top.result.location = getURISetQueueURL() + 'help'"/>
+        <input type="button" value="Check" onClick="top.result.location = getProofCheckerURL() + 'help'"/>
       </form>
     </td>
   </tr>