helm/http_getter/panel/control.js

   1
   2 function getParam(name, def)
   3 {
   4   var search = top.location.search;
   5   search = search.slice(1);
   6   var args = search.split("&");
   7   var value = "-1";
   8   for (var i = 0 ; i < args.length ; i++) {
   9     var couple = args[i].split("=");
  10     if (couple[0] == name) value = couple[1];
  11   }
  12   if (value == "-1") value = def;
  13   return value;
  14 }
  15
  16 function getInitialGetterURL()
  17 {
  18   return getParam("getterURL", "http://mowgli.cs.unibo.it:58081/");
  19 }
  20
  21 function getGetterURL()
  22 {
  23   return document.getterURL.elements[0].value;
  24 }
  25
  26 function selectGetterURL(ss)
  27 {
  28   if (ss.selectedIndex == 0) {
  29     document.getterURL.elements[0].value = "";
  30   } else {
  31     //document.getterURL.elements[0].value = "http://" + ss.options[ss.selectedIndex].value + ":8081/";
  32     document.getterURL.elements[0].value = "http://" + ss.options[ss.selectedIndex].value;
  33   }
  34 }
  35