X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fuwobo-panel%2Fcontrol.js;h=cd04429c0ddfc29c27212ee7efb4401e8e4c060c;hb=65e3c9976212e04a4678ff9ce9e3c2f436d06d33;hp=d94b9b2ce0283a914c3cb515cdf14c0a28b87c28;hpb=9d52e9315d9f6e401f21f1ec9e772197ea89cc55;p=helm.git

diff --git a/helm/uwobo-panel/control.js b/helm/uwobo-panel/control.js
index d94b9b2ce..cd04429c0 100644
--- 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/");
@@ -142,7 +147,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);
   }
 }