getter's panel check in

[helm.git] / helm / http_getter / panel / control.js

diff --git a/helm/http_getter/panel/control.js b/helm/http_getter/panel/control.js
new file mode 100644 (file)
index 0000000..45736aa
--- /dev/null
+++ b/helm/http_getter/panel/control.js
@@ -0,0 +1,35 @@
+
+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;
+  }
+}
+