+++ /dev/null
-
-function getParam(name, def)
-{
- var search = top.location.search;
- search = search.slice(1);
- var args = search.split("&");
- var value = "-1";
- for (var i = 0 ; i < args.length ; i++) {
- var couple = args[i].split("=");
- if (couple[0] == name) value = couple[1];
- }
- if (value == "-1") value = def;
- return value;
-}
-
-function getInitialGetterURL()
-{
- return getParam("getterURL", "http://mowgli.cs.unibo.it:58081/");
-}
-
-function getGetterURL()
-{
- return document.getterURL.elements[0].value;
-}
-
-function selectGetterURL(ss)
-{
- if (ss.selectedIndex == 0) {
- document.getterURL.elements[0].value = "";
- } else {
- //document.getterURL.elements[0].value = "http://" + ss.options[ss.selectedIndex].value + ":8081/";
- document.getterURL.elements[0].value = "http://" + ss.options[ss.selectedIndex].value;
- }
-}
-