This commit was manufactured by cvs2svn to create branch 'xmltheory'.

[helm.git] / helm / on-line / javascript / prelude.js

diff --git a/helm/on-line/javascript/prelude.js b/helm/on-line/javascript/prelude.js
deleted file mode 100644 (file)
index 90e877a..0000000
--- a/helm/on-line/javascript/prelude.js
+++ /dev/null
@@ -1,91 +0,0 @@
-
-function getInitialProcessorURL()
-{
-  var search = top.location.search;
-  search = search.slice(1);
-  var args = search.split("&");
-  var processorURL = "-1";
-  for (var i = 0 ; i < args.length ; i++) {
-     var couple = args[i].split("=");
-     if (couple[0] == "processorURL") processorURL = couple[1];
-  }
-  if (processorURL == "-1") processorURL = getDefaultParam("processorURL");
-  return processorURL;
-}
-
-function getInitialGetterURL()
-{
-  var search = top.location.search;
-  search = search.slice(1);
-  var args = search.split("&");
-  var getterURL = "-1";
-  for (var i = 0 ; i < args.length ; i++) {
-     var couple = args[i].split("=");
-     if (couple[0] == "getterURL") getterURL = couple[1];
-  }
-  if (getterURL == "-1") getterURL = getDefaultParam("getterURL");
-  return getterURL;
-}
-
-function getUwoboURL()
-{
-  return document.uwoboURL.elements[0].value;
-}
-
-function getGetterURL()
-{
-  return document.getterURL.elements[0].value;
-}
-
-function refreshLinks()
-{
-  var search = top.location.search;
-  search = search.slice(1);
-  var args = search.split("&");
-  var cicuri = "-1", theoryuri = "-1", mode = "-1";
-  for (var i = 0 ; i < args.length ; i++) {
-     var couple = args[i].split("=");
-     switch (couple[0]) {
-        case "cicuri"       : cicuri     =couple[1]; break;
-        case "theoryuri"    : theoryuri  =couple[1]; break;
-        case "mode"         : mode       =couple[1]; break;
-     }
-  }
-  if (cicuri == "-1") cicuri = getDefaultParam("cicuri");
-  if (theoryuri == "-1") theoryuri = getDefaultParam("theoryuri");
-  if (mode == "-1") mode = getDefaultParam("mode");
-
-  document.links[2].search = "?getterURL=" + getGetterURL();
-  
-  document.links[3].search = 
-    "?processorURL=" + getUwoboURL() +
-    "&getterURL=" + getGetterURL();
-
-  document.links[4].href = "../html/library/index.html?cicuri=" + cicuri
-     + "&theoryuri=" + theoryuri
-     + "&mode=" + mode
-     + "&processorURL=" + getUwoboURL()
-     + "&getterURL=" + getGetterURL();
-}
-
-function selectUwoboURL(ss)
-{
-  if (ss.selectedIndex == 0) {
-    document.uwoboURL.elements[0].value = "";
-  } else {
-    document.uwoboURL.elements[0].value = "http://" + ss.options[ss.selectedIndex].value + ":8080/helm/servlet/uwobo/";
-  }
-
-  refreshLink();
-}
-
-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/";
-  }
-
-  refreshLink();
-}