|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
If you have troubles, please send an email to the author:
In case you want to customize the panel for your own needs, you can download the source archive
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
The following is the URL used to contact the UWOBO servlet. Note that the servlet is usually launched by
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,
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
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:
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.
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
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
When ready, click on the button and have fun!