--- /dev/null
+
+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" : theoryicuri =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();
+}