2 function getInitialProcessorURL()
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];
12 if (processorURL == "-1") processorURL = getDefaultParam("processorURL");
16 function getInitialGetterURL()
18 var search = top.location.search;
19 search = search.slice(1);
20 var args = search.split("&");
22 for (var i = 0 ; i < args.length ; i++) {
23 var couple = args[i].split("=");
24 if (couple[0] == "getterURL") getterURL = couple[1];
26 if (getterURL == "-1") getterURL = getDefaultParam("getterURL");
30 function getUwoboURL()
32 return document.uwoboURL.elements[0].value;
35 function getGetterURL()
37 return document.getterURL.elements[0].value;
40 function refreshLinks()
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("=");
49 case "cicuri" : cicuri =couple[1]; break;
50 case "theoryuri" : theoryuri =couple[1]; break;
51 case "mode" : mode =couple[1]; break;
54 if (cicuri == "-1") cicuri = getDefaultParam("cicuri");
55 if (theoryuri == "-1") theoryuri = getDefaultParam("theoryuri");
56 if (mode == "-1") mode = getDefaultParam("mode");
58 document.links[2].search = "?getterURL=" + getGetterURL();
60 document.links[3].search =
61 "?processorURL=" + getUwoboURL() +
62 "&getterURL=" + getGetterURL();
64 document.links[4].href = "../html/library/index.html?cicuri=" + cicuri
65 + "&theoryuri=" + theoryuri
67 + "&processorURL=" + getUwoboURL()
68 + "&getterURL=" + getGetterURL();
71 function selectUwoboURL(ss)
73 if (ss.selectedIndex == 0) {
74 document.uwoboURL.elements[0].value = "";
76 document.uwoboURL.elements[0].value = "http://" + ss.options[ss.selectedIndex].value + ":8080/helm/servlet/uwobo/";
82 function selectGetterURL(ss)
84 if (ss.selectedIndex == 0) {
85 document.getterURL.elements[0].value = "";
87 document.getterURL.elements[0].value = "http://" + ss.options[ss.selectedIndex].value + ":8081/";