X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fuwobo-panel%2Fcontrol.html;fp=helm%2Fuwobo-panel%2Fcontrol.html;h=0000000000000000000000000000000000000000;hb=c7514aaa249a96c5fdd39b1123fbdb38d92f20b6;hp=3f68abb91bbef427758f4c9bc511a897c12031de;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;p=helm.git
diff --git a/helm/uwobo-panel/control.html b/helm/uwobo-panel/control.html
deleted file mode 100644
index 3f68abb91..000000000
--- a/helm/uwobo-panel/control.html
+++ /dev/null
@@ -1,488 +0,0 @@
-
-
-
-UWOBO Control Panel
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-This is a control panel for the UWOBO servlet. You can control a local or remote UWOBO servlet by filling
-the appropriate fields
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. For those commands sending multiple
-requests to the UWOBO server, a new window will be opened for each request issued. 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
-
-
-
-The sections:
-
-
-In case you want to customize the panel for your own needs, you can download the source archive
-(HTML + JavaScript):
-
-
-
-
-
-
-
- Global Parameters |
- top |
-
-
-
-
-
-
-The following are global parameters used by all the other section to contact the UWOBO servlet and possibly a
-getter. The getter is not required for some operations and can be excluded by unchecking the proper buttons
-below.
-
-
-
-The following is the URL used to contact the UWOBO servlet. Note that the servlet is usually launched by
-
TOMCAT.
localhost is relative to your machine.
-
-
-
-
-
- UWOBO URL |
-
-
-
-
- |
-
-
- |
-
-
- |
-
-
-
-The following is the URL used to contact the getter. The getter is usually launched manually.
-In all cases except for the check button below,
-
localhost is relative to the host running UWOBO, because the getter URL is sent as
-a parameter along with UWOBO commands. In other words,
localhost is the host
-running UWOBO and not your machine.
-
-
-
-
-
- Getter URL |
-
-
-
-
- |
-
-
- |
-
-
- |
-
-
-
-
-
-
-
-
-
- Daemon Management |
- top |
-
-
-
-
-
-
-
You can start a new daemon on a given port. The new daemon will have
- an empty list of processed stylesheets.
-
-
-
- Port |
-
-
-
-
- |
-
-
- |
-
-
-
-
-
-
-
-
You can also kill the daemon. The log file will be mantained.
-
-
-
-
-
-
-
-
-
-
-
-The following are commands to do some simple queries about the UWOBO servlet.
-
-
-
-
-
-
- Retrieve the version of the UWOBO servlet running at the UWOBO URL and list the syntax
- of the accepted commands.
- You can use this button to verify that a UWOBO servlet
- is actually running there:
- |
-
-
- |
-
-
-
- Ask UWOBO for a list of the stylesheets currently compiled inside the servlet, along with their keys:
- |
-
-
- |
-
-
-
-
-
-
-
-
-
-
- Stylesheet Management |
- top |
-
-
-
-
-
-
-
-In this section you can add, remove and reload stylesheet into the server. There are
-some frequently used stylesheets whose URIs and keys can be automatically filled in
-by selecting one of the options of the box below. Note that for such stylesheets
-the getter is used by default (you can deselect it, however):
-
-
-
-
-
- Predefined Stylesheets |
-
-
-
-
- |
-
-
- |
-
-
- |
-
-
-
-Here you have to identify a stylesheet by means of a relative or absolute URI. Usually
-you will specify a relative URI when using the getter to retrieve the stylesheet.
-Moreover, you can specify a key associated to this stylesheet, so that it will be easier to
-refer to it in subsequent operations. If escaping is enabled, then the stylesheet URI will
-be escaped. This might be particularly useful if the stylesheet is loaded by the getter.
-
-
-
-
-
- Stylesheet |
- Key |
- Use Getter |
- Escape |
-
-
-
-
- |
-
-
- |
-
-
- |
-
-
- |
-
-
- |
-
-
- |
-
-
- |
-
-
-
-Use the buttons below to remove or reload
all the stylesheets inside the servlet. Use these commands with
-care, and remember that the servlet can be shared among different users:
-
-
-
-
-
-
-
-
-
-
-
-
-
-You can use the "Apply" command to perform a transformation. Specify the URI of the source
-document in the form below. The URI can be relative or absolute (in the former case you
-will probably want to enable the use of the getter).
-If escaping is enabled, then special characters are escaped. This might be particularly useful
-if the source is loaded by the getter.
-
-
-
-
-
- Source Document |
- Escape |
-
-
-
-
- |
-
-
- |
-
-
-
-You can specify a sequence of zero or more parameters separated by blanks. Each
-parameter is made of a name immediately followed by
= and then a value.
-If "Escape" is checked, then parameters are escaped in the final
-URI.
-
-
-
-
-
- Parameters (optional) |
- Escape |
-
-
-
-
- |
-
-
- |
-
-
-
-In the key list specify a list of keys
-separated by blanks. This is the list of stylesheets to be applied in sequence to the
-source document.
-When ready, click on the button and have fun!
-
-
-
-
-
- Key list |
- Use Getter |
-
-
-
-
- |
-
-
- |
-
-
- |
-
-
-
-
-
-
-
-
-
-
-