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 getInitialDrawGraphURL()
32 var search = top.location.search;
33 search = search.slice(1);
34 var args = search.split("&");
35 var draw_graphURL = "-1";
36 for (var i = 0 ; i < args.length ; i++) {
37 var couple = args[i].split("=");
38 if (couple[0] == "draw_graphURL") draw_graphURL = couple[1];
40 if (draw_graphURL == "-1") draw_graphURL = getDefaultParam("draw_graphURL");
44 function getInitialURISetQueueURL()
46 var search = top.location.search;
47 search = search.slice(1);
48 var args = search.split("&");
49 var uri_set_queueURL = "-1";
50 for (var i = 0 ; i < args.length ; i++) {
51 var couple = args[i].split("=");
52 if (couple[0] == "uri_set_queueURL") uri_set_queueURL = couple[1];
54 if (uri_set_queueURL == "-1") uri_set_queueURL = getDefaultParam("uri_set_queueURL");
55 return uri_set_queueURL;
58 function getInitialUNICODEvsSYMBOL()
60 var search = top.location.search;
61 search = search.slice(1);
62 var args = search.split("&");
63 var UNICODEvsSYMBOL = "-1";
64 for (var i = 0 ; i < args.length ; i++) {
65 var couple = args[i].split("=");
66 if (couple[0] == "UNICODEvsSYMBOL") UNICODEvsSYMBOL = couple[1];
68 if (UNICODEvsSYMBOL == "-1") UNICODEvsSYMBOL = getDefaultParam("UNICODEvsSYMBOL");
69 return UNICODEvsSYMBOL;
72 function getInitialUNICODEvsSYMBOLsymbol()
74 if (getInitialUNICODEvsSYMBOL() == "symbol")
80 function getInitialUNICODEvsSYMBOLunicode()
82 if (getInitialUNICODEvsSYMBOL() == "unicode")
88 function getUwoboURL()
90 return document.uwoboURL.elements[0].value;
93 function getGetterURL()
95 return document.getterURL.elements[0].value;
98 function getDrawGraphURL()
100 return document.draw_graphURL.elements[0].value;
103 function getURISetQueueURL()
105 return document.uri_set_queueURL.elements[0].value;
108 function getUNICODEvsSYMBOL()
110 if (document.UNICODEvsSYMBOL.radioUNICODEvsSYMBOL[0].checked)
111 return document.UNICODEvsSYMBOL.radioUNICODEvsSYMBOL[0].value;
113 return document.UNICODEvsSYMBOL.radioUNICODEvsSYMBOL[1].value;
116 function chopSlash(url)
118 return url.slice(0,url.lastIndexOf('/'));
121 function refreshLinks()
123 var search = top.location.search;
124 search = search.slice(1);
125 var args = search.split("&");
126 var cicuri = "-1", theoryuri = "-1", mode = "-1";
127 for (var i = 0 ; i < args.length ; i++) {
128 var couple = args[i].split("=");
130 case "cicuri" : cicuri =couple[1]; break;
131 case "theoryuri" : theoryuri =couple[1]; break;
132 case "mode" : mode =couple[1]; break;
135 if (cicuri == "-1") cicuri = getDefaultParam("cicuri");
136 if (theoryuri == "-1") theoryuri = getDefaultParam("theoryuri");
137 if (mode == "-1") mode = getDefaultParam("mode");
139 document.links[2].href =
140 document.links[2].protocol + '//' +
141 document.links[2].host +
142 document.links[2].pathname +
143 "?getterURL=" + getGetterURL();
145 document.links[3].href =
146 document.links[3].protocol + '//' +
147 document.links[3].host +
148 document.links[3].pathname +
149 "?processorURL=" + getUwoboURL() +
150 "&getterURL=" + getGetterURL();
154 document.location.protocol + '//' +
155 document.location.host +
156 document.location.pathname));
157 document.links[4].href =
158 getUwoboURL() + "apply" +
160 "¶m.topurl=" + topurl +
163 topurl + "/html/library/index.html" +
164 "?cicuri=" + cicuri +
165 "&theoryuri=" + theoryuri +
167 "&processorURL=" + getUwoboURL() +
168 "&getterURL=" + getGetterURL() +
169 "&draw_graphURL=" + getDrawGraphURL() +
170 "&uri_set_queueURL=" + getURISetQueueURL() +
171 "&UNICODEvsSYMBOL=" + getUNICODEvsSYMBOL()
175 function selectUwoboURL(ss)
177 if (ss.selectedIndex == 0) {
178 document.uwoboURL.elements[0].value = "";
180 document.uwoboURL.elements[0].value = "http://" + ss.options[ss.selectedIndex].value + ":8080/helm/servlet/uwobo/";
186 function selectGetterURL(ss)
188 if (ss.selectedIndex == 0) {
189 document.getterURL.elements[0].value = "";
191 document.getterURL.elements[0].value = "http://" + ss.options[ss.selectedIndex].value + ":8081/";
197 function selectDrawGraphURL(ss)
199 if (ss.selectedIndex == 0) {
200 document.draw_graphURL.elements[0].value = "";
202 document.draw_graphURL.elements[0].value = "http://" + ss.options[ss.selectedIndex].value + ":8083/";
208 function selectURISetQueueURL(ss)
210 if (ss.selectedIndex == 0) {
211 document.uri_set_queueURL.elements[0].value = "";
213 document.uri_set_queueURL.elements[0].value = "http://" + ss.options[ss.selectedIndex].value + ":8084/";