1 function dropBodySuffix(url)
2 { var length = url.length;
3 if (url.slice(length - 5, length) == '.body')
4 return (url.slice(0, length - 5));
9 function chopSlash(url)
11 return url.slice(0,url.lastIndexOf('/'));
14 function dropParam(url,name)
16 var urla = url.split("?");
18 var args = search.split("&");
19 var newargs = new Array();
22 for (var i = 0 ; i < args.length ; i++) {
23 var couple = args[i].split("=");
24 if (couple[0] != name) {
30 return (urla[0] + "?" + newargs.join("&"));
33 function setParam(url,name,value)
35 var urla = url.split("?");
37 var args = search.split("&");
40 for (var i = 0 ; i < args.length ; i++) {
41 var couple = args[i].split("=");
42 if (couple[0] == name) {
44 args[i] = name + "=" + value;
48 return (urla[0] + "?" + args.join("&") + (found ? "" : ("&" + name + "=" + value)));
51 function extractParam(url,name)
53 var search = url.split("?")[1];
54 search = search.split("#")[0];
55 var args = search.split("&");
58 for (var i = 0 ; i < args.length ; i++) {
59 var couple = args[i].split("=");
60 if (couple[0] == name) value = couple[1];
63 if (value == "???") value = getDefaultParam(name);
68 function getParam0(search,name)
70 var args = search.split("&");
73 for (var i = 0 ; i < args.length ; i++) {
74 var couple = args[i].split("=");
75 if (couple[0] == name) value = couple[1];
78 if (value == "???") value = getDefaultParam(name);
83 function getParam(name)
85 return getParam0(location.search.slice(1),name);
88 function getParam2(name)
90 var url = unescape(getParam('xmluri'));
91 var tmp = url.split("?");
94 return getParam0(tmp[1],name);
96 return getDefaultParam(name);
100 function outputOption(doc, value, content, selected)
102 doc.write("<option value=\"" + value + "\" ");
103 if (value == selected) doc.write("selected ");
104 doc.write(">" + content + "</option>");
107 function outputCheckbox(doc, onclick, content, checked)
109 doc.write("<input type=\"checkbox\" onClick=\"" + onclick + "\" ");
110 if (checked) doc.write("checked");
111 doc.write(">" + content + "</input>");