From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 7 Oct 2002 16:56:10 +0000 (+0000)
Subject: - The Getter and UWOBO moved to mowgli.
X-Git-Tag: BEFORE_METADATA_FOR_SORT_AND_REL~57
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=4d6d34c2fa9efdc0b033e2e8bdffd8492f876f57;p=helm.git

- The Getter and UWOBO moved to mowgli.
- The UWOBO default port changed to 8081.
- The Getter default port changed to 48081.
---

diff --git a/helm/on-line/javascript/defaults.js b/helm/on-line/javascript/defaults.js
index 2174375dc..db3172cfe 100644
--- a/helm/on-line/javascript/defaults.js
+++ b/helm/on-line/javascript/defaults.js
@@ -3,9 +3,9 @@ function getDefaultParam(name)
 {
   switch (name) {
   case "processorURL":
-    return "http://phd.cs.unibo.it:8080/helm/servlet/uwobo/";
+    return "http://mowgli.cs.unibo.it:8081/helm/servlet/uwobo/";
   case "getterURL":
-    return "http://phd.cs.unibo.it:8081/"; 
+    return "http://mowgli.cs.unibo.it:48081/"; 
   case "draw_graphURL":
     return "http://phd.cs.unibo.it:8083/"; 
   case "uri_set_queueURL":