1 function chopSlash(url)
3 return url.slice(0,url.lastIndexOf('/'));
6 function getParam(name)
8 var search = location.search;
9 search = search.slice(1);
10 var args = search.split("&");
13 for (var i = 0 ; i < args.length ; i++) {
14 var couple = args[i].split("=");
15 if (couple[0] == name) value = couple[1];
18 if (value == "???") value = getDefaultParam(name);
23 function outputOption(doc, value, content, selected)
25 doc.write("<option value=\"" + value + "\" ");
26 if (value == selected) doc.write("selected ");
27 doc.write(">" + content + "</option>");
30 function outputCheckbox(doc, onclick, content, checked)
32 doc.write("<input type=\"checkbox\" onClick=\"" + onclick + "\" ");
33 if (checked) doc.write("checked");
34 doc.write(">" + content + "</input>");