From 7be4608a6c5c35745e855f58b8e082a16adeb7b8 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Mon, 7 Apr 2003 16:26:03 +0000 Subject: [PATCH] getter's panel check in --- helm/http_getter/panel/.cvsignore | 1 + helm/http_getter/panel/Makefile | 12 +++ helm/http_getter/panel/control.html | 121 ++++++++++++++++++++++++++++ helm/http_getter/panel/control.js | 35 ++++++++ helm/http_getter/panel/index.html | 8 ++ helm/http_getter/panel/welcome.html | 6 ++ 6 files changed, 183 insertions(+) create mode 100644 helm/http_getter/panel/.cvsignore create mode 100644 helm/http_getter/panel/Makefile create mode 100644 helm/http_getter/panel/control.html create mode 100644 helm/http_getter/panel/control.js create mode 100644 helm/http_getter/panel/index.html create mode 100644 helm/http_getter/panel/welcome.html diff --git a/helm/http_getter/panel/.cvsignore b/helm/http_getter/panel/.cvsignore new file mode 100644 index 000000000..5c9fd1612 --- /dev/null +++ b/helm/http_getter/panel/.cvsignore @@ -0,0 +1 @@ +getter-panel.tar.gz diff --git a/helm/http_getter/panel/Makefile b/helm/http_getter/panel/Makefile new file mode 100644 index 000000000..2663e20a1 --- /dev/null +++ b/helm/http_getter/panel/Makefile @@ -0,0 +1,12 @@ + +all: + +clean: + rm -f getter-panel.tar.gz + +cleanbak: + rm -rf *~ + +dist: clean cleanbak + cd ..; tar cvfz getter-panel.tar.gz panel ; mv getter-panel.tar.gz panel + diff --git a/helm/http_getter/panel/control.html b/helm/http_getter/panel/control.html new file mode 100644 index 000000000..60c60ebed --- /dev/null +++ b/helm/http_getter/panel/control.html @@ -0,0 +1,121 @@ + + + +Getter Control Panel + + + + + + + + + + + +
Getter Control Panel
+ +
+ +
+This is a control panel for the HTTP getter. You can control a local or remote getter by filling +the appropriate field below and sending the desired commands. In most cases, results of commands, such as error +messages or documents, will be opened in the frame at the bottom of this page. +Note that in order to use this page you must have JavaScript enabled. +If you have troubles, please send an email to the author: +luca.padovani@cs.unibo.it +
+ +
+
+ + + + + + + + + + + + + + + + + + + +
+
+ Getter URL + + +
+
+
+ Check if Getter is running and request Help:
+ +
+
+
+ Update Getter's maps:
+ +
+
+
+ List servers:
+ +
+
+
+ Add a server to the servers list:
+ Server URL:
+ Server position:
+ +
+
+
+ Remove a server from the servers list:
+ Server number:
+ +
+
+
+ +
+ + +
+ +
+ +
+
+ In case you want to customize the panel for your own needs, you can download + the source archive (HTML + JavaScript): + +
+ + + + + diff --git a/helm/http_getter/panel/control.js b/helm/http_getter/panel/control.js new file mode 100644 index 000000000..45736aaa4 --- /dev/null +++ b/helm/http_getter/panel/control.js @@ -0,0 +1,35 @@ + +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; + } +} + diff --git a/helm/http_getter/panel/index.html b/helm/http_getter/panel/index.html new file mode 100644 index 000000000..caeebcf24 --- /dev/null +++ b/helm/http_getter/panel/index.html @@ -0,0 +1,8 @@ + + + + + + + + diff --git a/helm/http_getter/panel/welcome.html b/helm/http_getter/panel/welcome.html new file mode 100644 index 000000000..f6fbed438 --- /dev/null +++ b/helm/http_getter/panel/welcome.html @@ -0,0 +1,6 @@ + + + + + + -- 2.39.2