From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 17 Feb 2004 11:40:05 +0000 (+0000)
Subject: Any residual reference to tomcat and servlets changed to references to
X-Git-Tag: v0_0_4~177
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=eb6b979aab9c57fc6daec391849ce318e0ca3067;p=helm.git

Any residual reference to tomcat and servlets changed to references to
Web-Services ;-)
---

diff --git a/helm/uwobo-panel/control.html b/helm/uwobo-panel/control.html
index a441abd82..5345fa334 100644
--- a/helm/uwobo-panel/control.html
+++ b/helm/uwobo-panel/control.html
@@ -24,7 +24,7 @@ td.back { background-color: #e6e6fa; color: brown }
 <br />
 
 <div id="indent">
-This is a control panel for the UWOBO servlet. You can control a local or remote UWOBO servlet by filling
+This is a control panel for the UWOBO Web-Service. You can control a local or remote UWOBO service by filling
 the appropriate fields <a href="#params">below</a> and sending the desired commands. In most cases, results of commands, such as error
 messages or documents, will be opened in the frame at the bottom of this page. For those commands sending multiple
 requests to the UWOBO server, a new window will be opened for each request issued. Note that in order to use
@@ -60,14 +60,14 @@ In case you want to customize the panel for your own needs, you can download the
 <br />
 
 <div id="indent">
-The following are global parameters used by all the other section to contact the UWOBO servlet and possibly a
-getter. The getter is not required for some operations and can be excluded by unchecking the proper buttons
+The following are global parameters used by all the other section to contact the UWOBO service and possibly a
+Getter. The Getter is not required for some operations and can be excluded by unchecking the proper buttons
 below.
 
 <br /><br />
 
-The following is the URL used to contact the UWOBO servlet. Note that the servlet is usually launched by
-<a href="http://jakarta.apache.org" target="top">TOMCAT</a>. <tt>localhost</tt> is relative to your machine. 
+The following is the URL used to contact the UWOBO Web-Service.
+<tt>localhost</tt> is relative to your machine. 
 
 <br /><br />
 
@@ -208,16 +208,16 @@ running UWOBO and not your machine.
 
 <br />
 
-The following are commands to do some simple queries about the UWOBO servlet.
+The following are commands to do some simple queries about the UWOBO service.
 
 <br /><br />
 
 <table border="0">
 <tr>
   <td>
-    Retrieve the version of the UWOBO servlet running at the UWOBO URL and list the syntax
+    Retrieve the version of the UWOBO service running at the UWOBO URL and list the syntax
     of the accepted commands.
-    You can use this button to verify that a UWOBO servlet
+    You can use this button to verify that a UWOBO service
     is actually running there:
   </td>
 </tr>
@@ -226,7 +226,7 @@ The following are commands to do some simple queries about the UWOBO servlet.
 </tr>
 <tr>
   <td>
-    Ask UWOBO for a list of the stylesheets currently compiled inside the servlet, along with their keys:
+    Ask UWOBO for a list of the stylesheets currently compiled inside the Web-Service, along with their keys:
   </td>
 </tr>
 <tr>
@@ -356,8 +356,9 @@ be escaped. This might be particularly useful if the stylesheet is loaded by the
 </tr>
 </table>
 
-Use the buttons below to remove or reload <i>all</i> the stylesheets inside the servlet. Use these commands with
-care, and remember that the servlet can be shared among different users:
+Use the buttons below to remove or reload <i>all</i> the stylesheets.
+Use these commands with
+care, and remember that UWOBO can be shared among different users:
 
 <br /><br />
 
diff --git a/helm/uwobo-panel/control.js b/helm/uwobo-panel/control.js
index e9376ec97..147f8bd25 100644
--- a/helm/uwobo-panel/control.js
+++ b/helm/uwobo-panel/control.js
@@ -20,12 +20,12 @@ function getInitialPort()
 
 function getInitialProcessorURL()
 {
-  return getParam("processorURL", "http://phd.cs.unibo.it:8080/helm/servlet/uwobo/");
+  return getParam("processorURL", "http://mowgli.cs.unibo.it:58080/");
 }
 
 function getInitialGetterURL()
 {
-  return getParam("getterURL", "http://phd.cs.unibo.it:8081/");
+  return getParam("getterURL", "http://mowgli.cs.unibo.it:58081/");
 }
 
 function getUwoboURL()
@@ -43,7 +43,7 @@ function selectUwoboURL(ss)
   if (ss.selectedIndex == 0) {
     document.uwoboURL.elements[0].value = "";
   } else {
-    document.uwoboURL.elements[0].value = "http://" + ss.options[ss.selectedIndex].value + ":8080/helm/servlet/uwobo/";
+    document.uwoboURL.elements[0].value = "http://" + ss.options[ss.selectedIndex].value + ":58080/";
   }
 }