]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/uwobo-panel/control.js
final ispell
[helm.git] / helm / uwobo-panel / control.js
index 6b13ab8a0fb9580ba58b94519bc0c22d11375bb4..cd04429c0ddfc29c27212ee7efb4401e8e4c060c 100644 (file)
@@ -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/");