]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/http_getter/panel/control.js
This commit was manufactured by cvs2svn to create branch
[helm.git] / helm / http_getter / panel / control.js
diff --git a/helm/http_getter/panel/control.js b/helm/http_getter/panel/control.js
deleted file mode 100644 (file)
index 45736aa..0000000
+++ /dev/null
@@ -1,35 +0,0 @@
-
-function getParam(name, def)
-{
-  var search = top.location.search;
-  search = search.slice(1);
-  var args = search.split("&");
-  var value = "-1";
-  for (var i = 0 ; i < args.length ; i++) {
-    var couple = args[i].split("=");
-    if (couple[0] == name) value = couple[1];
-  }
-  if (value == "-1") value = def;
-  return value;
-}
-
-function getInitialGetterURL()
-{
-  return getParam("getterURL", "http://mowgli.cs.unibo.it:58081/");
-}
-
-function getGetterURL()
-{
-  return document.getterURL.elements[0].value;
-}
-
-function selectGetterURL(ss)
-{
-  if (ss.selectedIndex == 0) {
-    document.getterURL.elements[0].value = "";
-  } else {
-    //document.getterURL.elements[0].value = "http://" + ss.options[ss.selectedIndex].value + ":8081/";
-    document.getterURL.elements[0].value = "http://" + ss.options[ss.selectedIndex].value;
-  }
-}
-