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):
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.

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
Queries top

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:

Processing top

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
Page maintained by: Luca Padovani top