From eb6b979aab9c57fc6daec391849ce318e0ca3067 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 17 Feb 2004 11:40:05 +0000 Subject: [PATCH] Any residual reference to tomcat and servlets changed to references to Web-Services ;-) --- helm/uwobo-panel/control.html | 23 ++++++++++++----------- helm/uwobo-panel/control.js | 6 +++--- 2 files changed, 15 insertions(+), 14 deletions(-) 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 }
-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 below 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
-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.

-The following is the URL used to contact the UWOBO servlet. Note that the servlet is usually launched by -TOMCAT. localhost is relative to your machine. +The following is the URL used to contact the UWOBO Web-Service. +localhost is relative to your machine.

@@ -208,16 +208,16 @@ running UWOBO and not your machine.
-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.

@@ -226,7 +226,7 @@ The following are commands to do some simple queries about the UWOBO servlet. @@ -356,8 +356,9 @@ be escaped. This might be particularly useful if the stylesheet is loaded by the
- 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:
- 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:
-Use the buttons below to remove or reload all 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 all the stylesheets. +Use these commands with +care, and remember that UWOBO can be shared among different users:

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/"; } } -- 2.39.2