UWOBO Control Panel for NuPRL |
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):
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.
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.
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):
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.
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!