X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fhttp_getter%2Fpanel%2Fcontrol.html;fp=helm%2Fhttp_getter%2Fpanel%2Fcontrol.html;h=0000000000000000000000000000000000000000;hp=60c60ebedf441d0614c3617c0e046f6193959bd7;hb=3ef089a4c58fbe429dd539af6215991ecbe11ee2;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff diff --git a/helm/http_getter/panel/control.html b/helm/http_getter/panel/control.html deleted file mode 100644 index 60c60ebed..000000000 --- a/helm/http_getter/panel/control.html +++ /dev/null @@ -1,121 +0,0 @@ - - - -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): - -
- - - - -