X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fuwobo-panel%2Fcontrol.js;h=393bd3a68d647f01257041a7d91a09673731b9c7;hb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1;hp=cd04429c0ddfc29c27212ee7efb4401e8e4c060c;hpb=4e649cb802e19d506df4d5f3824d8e7a2e120027;p=helm.git

diff --git a/helm/uwobo-panel/control.js b/helm/uwobo-panel/control.js
index cd04429c0..393bd3a68 100644
--- a/helm/uwobo-panel/control.js
+++ b/helm/uwobo-panel/control.js
@@ -15,17 +15,17 @@ function getParam(name, def)
 
 function getInitialPort()
 {
-  return "68080";
+  return "38080";
 }
 
 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/";
   }
 }
 
@@ -118,7 +118,7 @@ function removeStylesheet()
 
 function removeAllStylesheets()
 {
-  top.result.location.replace(getUwoboURL() + "remove");
+  top.result.location.replace(getUwoboURL() + "remove?keys=");
 }
 
 function reloadStylesheet()
@@ -126,6 +126,11 @@ function reloadStylesheet()
   top.result.location.replace(getUwoboURL() + "reload?keys=" + document.stylesheetKey.elements[0].value);
 }
 
+function reloadAllStylesheets()
+{
+  top.result.location.replace(getUwoboURL() + 'reload?keys=');
+}
+
 function loadAllPredefined()
 {
   with (document.predefinedStylesheets.elements[0]) {