X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhttp_getter%2Fpanel%2Fcontrol.js;fp=helm%2Fhttp_getter%2Fpanel%2Fcontrol.js;h=0000000000000000000000000000000000000000;hb=1696761e4b8576e8ed81caa905fd108717019226;hp=45736aaa4c79782bb11ec61d7741ac3dc4b4e909;hpb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1;p=helm.git

diff --git a/helm/http_getter/panel/control.js b/helm/http_getter/panel/control.js
deleted file mode 100644
index 45736aaa4..000000000
--- a/helm/http_getter/panel/control.js
+++ /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;
-  }
-}
-