- the mathql interpreter is not helm-dependent any more

[helm.git] / helm / uwobo-panel / control.js

diff --git a/helm/uwobo-panel/control.js b/helm/uwobo-panel/control.js
index 0202f25c81e5be4a1344b05e7cc7aa4974cf4533..e9376ec97c8b52cb2aa7cbf5155387d1c4b2719c 100644 (file)
--- a/helm/uwobo-panel/control.js
+++ b/helm/uwobo-panel/control.js
@@ -13,6 +13,11 @@ function getParam(name, def)
   return value;
 }
 
+function getInitialPort()
+{
+  return "68080";
+}
+
 function getInitialProcessorURL()
 {
   return getParam("processorURL", "http://phd.cs.unibo.it:8080/helm/servlet/uwobo/");
@@ -113,7 +118,7 @@ function removeStylesheet()
 
 function removeAllStylesheets()
 {
-  top.result.location.replace(getUwoboURL() + "remove");
+  top.result.location.replace(getUwoboURL() + "remove?keys=");
 }
 
 function reloadStylesheet()
@@ -121,15 +126,21 @@ 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]) {
     var i;
-    var request = "dummy=0";
+    var request = "";
 
     for (i = 1; i < length; i++)
       request +=
-        "&bind=" + getPredefinedStylesheetKey(i) + "," +  escape((getPredefinedStylesheetUseGetter(i) == "true" ? (getGetterURL() + "getxslt?uri=") : "") + getPredefinedStylesheetURI(i));
+        (request == "" ? "" : "&") +
+        "bind=" + getPredefinedStylesheetKey(i) + "," +  escape((getPredefinedStylesheetUseGetter(i) == "true" ? (getGetterURL() + "getxslt?uri=") : "") + getPredefinedStylesheetURI(i));
     top.result.location.replace(getUwoboURL() + "add?" + request);
   }
 }
@@ -141,7 +152,7 @@ function removeAllPredefined()
     var request = "";
 
     for (i = 1; i < length; i++)
-      request += getPredefinedStylesheetKey(i) + ",";
+      request += getPredefinedStylesheetKey(i) + (i == length - 1 ? "" : ",");
     top.result.location.replace(getUwoboURL() + "remove?keys=" + request);
   }
 }