X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fdaemons%2Fhttp_getter%2Fpanel%2Fcontrol.html;fp=helm%2Fsoftware%2Fdaemons%2Fhttp_getter%2Fpanel%2Fcontrol.html;h=495c420e78d76382a443183c0427088c9acb2cf9;hb=76ad23ea1e83e8c187a4593027e9baed1bb022e3;hp=0000000000000000000000000000000000000000;hpb=2b2b90087f836c2f32291935216549e9370e68c3;p=helm.git diff --git a/helm/software/daemons/http_getter/panel/control.html b/helm/software/daemons/http_getter/panel/control.html new file mode 100644 index 000000000..495c420e7 --- /dev/null +++ b/helm/software/daemons/http_getter/panel/control.html @@ -0,0 +1,129 @@ + + + +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:
+ +
+
+
+ Clean cache (must be done every time a file is modified)
+ +
+
+
+ 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): + +
+ + + + +