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 a441abd820a0414a56d1513a8fbca2ade435d297..5345fa33466762b593164b36fe785ecd2c0e2293 100644 (file)
--- 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 e9376ec97c8b52cb2aa7cbf5155387d1c4b2719c..147f8bd2544bb5883c0a99b3460732a52213244e 100644 (file)
--- 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/";
   }
 }