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
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+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
+
+
+
+
+
+
+
+
+ |
+
+
+
+
+ |
+
+
+
+
+ |
+
+
+
+
+ |
+
+
+
+
+ |
+
+
+
+
+ |
+
+
+
+
+ |
+
+
+
+
+
+
+
+
+ In case you want to customize the panel for your own needs, you can download
+ the source archive (HTML + JavaScript):
+
+
+
+
+
+
+