helm/on-line/javascript/prelude.js

   1
   2 function getInitialProcessorURL()
   3 {
   4   var search = top.location.search;
   5   search = search.slice(1);
   6   var args = search.split("&");
   7   var processorURL = "-1";
   8   for (var i = 0 ; i < args.length ; i++) {
   9      var couple = args[i].split("=");
  10      if (couple[0] == "processorURL") processorURL = couple[1];
  11   }
  12   if (processorURL == "-1") processorURL = getDefaultParam("processorURL");
  13   return processorURL;
  14 }
  15
  16 function getInitialGetterURL()
  17 {
  18   var search = top.location.search;
  19   search = search.slice(1);
  20   var args = search.split("&");
  21   var getterURL = "-1";
  22   for (var i = 0 ; i < args.length ; i++) {
  23      var couple = args[i].split("=");
  24      if (couple[0] == "getterURL") getterURL = couple[1];
  25   }
  26   if (getterURL == "-1") getterURL = getDefaultParam("getterURL");
  27   return getterURL;
  28 }
  29
  30 function getUwoboURL()
  31 {
  32   return document.uwoboURL.elements[0].value;
  33 }
  34
  35 function getGetterURL()
  36 {
  37   return document.getterURL.elements[0].value;
  38 }
  39
  40 function refreshLinks()
  41 {
  42   var search = top.location.search;
  43   search = search.slice(1);
  44   var args = search.split("&");
  45   var cicuri = "-1", theoryuri = "-1", mode = "-1";
  46   for (var i = 0 ; i < args.length ; i++) {
  47      var couple = args[i].split("=");
  48      switch (couple[0]) {
  49         case "cicuri"       : cicuri       =couple[1]; break;
  50         case "theoryuri"    : theoryicuri  =couple[1]; break;
  51         case "mode"         : mode         =couple[1]; break;
  52      }
  53   }
  54   if (cicuri == "-1") cicuri = getDefaultParam("cicuri");
  55   if (theoryuri == "-1") theoryuri = getDefaultParam("theoryuri");
  56   if (mode == "-1") mode = getDefaultParam("mode");
  57
  58   document.links[2].search = "?getterURL=" + getGetterURL();
  59
  60   document.links[3].search =
  61     "?processorURL=" + getUwoboURL() +
  62     "&getterURL=" + getGetterURL();
  63
  64   document.links[4].href = "../html/library/index.html?cicuri=" + cicuri
  65      + "&theoryuri=" + theoryuri
  66      + "&mode=" + mode
  67      + "&processorURL=" + getUwoboURL()
  68      + "&getterURL=" + getGetterURL();
  69 }
  70
  71 function selectUwoboURL(ss)
  72 {
  73   if (ss.selectedIndex == 0) {
  74     document.uwoboURL.elements[0].value = "";
  75   } else {
  76     document.uwoboURL.elements[0].value = "http://" + ss.options[ss.selectedIndex].value + ":8080/helm/servlet/uwobo/";
  77   }
  78
  79   refreshLink();
  80 }
  81
  82 function selectGetterURL(ss)
  83 {
  84   if (ss.selectedIndex == 0) {
  85     document.getterURL.elements[0].value = "";
  86   } else {
  87     document.getterURL.elements[0].value = "http://" + ss.options[ss.selectedIndex].value + ":8081/";
  88   }
  89
  90   refreshLink();
  91 }