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 getInitialUNICODEvsSYMBOL()
32 var search = top.location.search;
33 search = search.slice(1);
34 var args = search.split("&");
35 var UNICODEvsSYMBOL = "-1";
36 for (var i = 0 ; i < args.length ; i++) {
37 var couple = args[i].split("=");
38 if (couple[0] == "UNICODEvsSYMBOL") UNICODEvsSYMBOL = couple[1];
40 if (UNICODEvsSYMBOL == "-1") UNICODEvsSYMBOL = getDefaultParam("UNICODEvsSYMBOL");
41 return UNICODEvsSYMBOL;
44 function getInitialUNICODEvsSYMBOLsymbol()
46 if (getInitialUNICODEvsSYMBOL() == "symbol")
52 function getInitialUNICODEvsSYMBOLunicode()
54 if (getInitialUNICODEvsSYMBOL() == "unicode")
60 function getUwoboURL()
62 return document.uwoboURL.elements[0].value;
65 function getGetterURL()
67 return document.getterURL.elements[0].value;
70 function getUNICODEvsSYMBOL()
72 if (document.UNICODEvsSYMBOL.radioUNICODEvsSYMBOL[0].checked)
73 return document.UNICODEvsSYMBOL.radioUNICODEvsSYMBOL[0].value;
75 return document.UNICODEvsSYMBOL.radioUNICODEvsSYMBOL[1].value;
78 function refreshLinks()
80 var search = top.location.search;
81 search = search.slice(1);
82 var args = search.split("&");
83 var cicuri = "-1", theoryuri = "-1", mode = "-1";
84 for (var i = 0 ; i < args.length ; i++) {
85 var couple = args[i].split("=");
87 case "cicuri" : cicuri =couple[1]; break;
88 case "theoryuri" : theoryuri =couple[1]; break;
89 case "mode" : mode =couple[1]; break;
92 if (cicuri == "-1") cicuri = getDefaultParam("cicuri");
93 if (theoryuri == "-1") theoryuri = getDefaultParam("theoryuri");
94 if (mode == "-1") mode = getDefaultParam("mode");
96 document.links[2].search = "?getterURL=" + getGetterURL();
98 document.links[3].search =
99 "?processorURL=" + getUwoboURL() +
100 "&getterURL=" + getGetterURL();
102 document.links[4].href = "../html/library/index.html?cicuri=" + cicuri
103 + "&theoryuri=" + theoryuri
105 + "&processorURL=" + getUwoboURL()
106 + "&getterURL=" + getGetterURL()
107 + "&UNICODEvsSYMBOL=" + getUNICODEvsSYMBOL();
110 function selectUwoboURL(ss)
112 if (ss.selectedIndex == 0) {
113 document.uwoboURL.elements[0].value = "";
115 document.uwoboURL.elements[0].value = "http://" + ss.options[ss.selectedIndex].value + ":8080/helm/servlet/uwobo/";
121 function selectGetterURL(ss)
123 if (ss.selectedIndex == 0) {
124 document.getterURL.elements[0].value = "";
126 document.getterURL.elements[0].value = "http://" + ss.options[ss.selectedIndex].value + ":8081/";