From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 15 May 2003 12:18:30 +0000 (+0000)
Subject: This commit undoes part of the previous commit, where I mistakenly committed
X-Git-Tag: submitted~46
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=4e649cb802e19d506df4d5f3824d8e7a2e120027;p=helm.git

This commit undoes part of the previous commit, where I mistakenly committed
parts of my laptop settings.
---

diff --git a/helm/uwobo-panel/control.js b/helm/uwobo-panel/control.js
index 4680ed3d8..cd04429c0 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://localhost:58080/");
+  return getParam("processorURL", "http://phd.cs.unibo.it:8080/helm/servlet/uwobo/");
 }
 
 function getInitialGetterURL()
 {
-  return getParam("getterURL", "http://localhost:58081/");
+  return getParam("getterURL", "http://phd.cs.unibo.it:8081/");
 }
 
 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 + ":58080/";
+    document.uwoboURL.elements[0].value = "http://" + ss.options[ss.selectedIndex].value + ":8080/helm/servlet/uwobo/";
   }
 }
 
@@ -52,7 +52,7 @@ function selectGetterURL(ss)
   if (ss.selectedIndex == 0) {
     document.getterURL.elements[0].value = "";
   } else {
-    document.getterURL.elements[0].value = "http://" + ss.options[ss.selectedIndex].value + ":58081/";
+    document.getterURL.elements[0].value = "http://" + ss.options[ss.selectedIndex].value + ":8081/";
   }
 }