+++ /dev/null
-function chopSlash(url)
-{
- return url.slice(0,url.lastIndexOf('/'));
-}
-
-function setParam(url,name,value)
-{
- var urla = url.split("?");
- var search = urla[1];
- var args = search.split("&");
-
- for (var i = 0 ; i < args.length ; i++) {
- var couple = args[i].split("=");
- if (couple[0] == name) args[i] = name + "=" + value;
- }
-
-
- return (urla[0] + "?" + args.join("&"));
-}
-
-function extractParam(url,name)
-{
- var search = url.split("?")[1];
- var args = search.split("&");
- var value = "???";
-
- for (var i = 0 ; i < args.length ; i++) {
- var couple = args[i].split("=");
- if (couple[0] == name) value = couple[1];
- }
-
- if (value == "???") value = getDefaultParam(name);
-
- return value;
-}
-
-function getParam(name)
-{
- var search = location.search;
- search = search.slice(1);
- var args = search.split("&");
- var value = "???";
-
- for (var i = 0 ; i < args.length ; i++) {
- var couple = args[i].split("=");
- if (couple[0] == name) value = couple[1];
- }
-
- if (value == "???") value = getDefaultParam(name);
-
- return value;
-}
-
-function outputOption(doc, value, content, selected)
-{
- doc.write("<option value=\"" + value + "\" ");
- if (value == selected) doc.write("selected ");
- doc.write(">" + content + "</option>");
-}
-
-function outputCheckbox(doc, onclick, content, checked)
-{
- doc.write("<input type=\"checkbox\" onClick=\"" + onclick + "\" ");
- if (checked) doc.write("checked");
- doc.write(">" + content + "</input>");
-}
-