X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fuwobo-panel%2Fcontrol.html;h=d47e6f749d98a8a82a754389fcc530d38338486a;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=3f68abb91bbef427758f4c9bc511a897c12031de;hpb=54c135065412e4af07be487b453dbac7c2b45034;p=helm.git diff --git a/helm/uwobo-panel/control.html b/helm/uwobo-panel/control.html index 3f68abb91..d47e6f749 100644 --- a/helm/uwobo-panel/control.html +++ b/helm/uwobo-panel/control.html @@ -24,13 +24,11 @@ td.back { background-color: #e6e6fa; color: brown }
-This is a control panel for the UWOBO servlet. You can control a local or remote UWOBO servlet by filling +This is a control panel for the UWOBO Web-Service. You can control a local or remote UWOBO service 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

@@ -39,6 +37,7 @@ The sections:
  • Global Parameters
  • Daemon Management
  • Queries
    • +
  • Profiles
  • Stylesheet Management
  • Processing
    • @@ -62,14 +61,14 @@ In case you want to customize the panel for your own needs, you can download the
    -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 are global parameters used by all the other section to contact the UWOBO service 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 UWOBO Web-Service. +localhost is relative to your machine.

    @@ -210,16 +209,16 @@ running UWOBO and not your machine.
    -The following are commands to do some simple queries about the UWOBO servlet. +The following are commands to do some simple queries about the UWOBO service.

    @@ -228,7 +227,7 @@ The following are commands to do some simple queries about the UWOBO servlet. @@ -240,6 +239,152 @@ 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 + Retrieve the version of the UWOBO service running at the UWOBO URL and list the syntax of the accepted commands. - You can use this button to verify that a UWOBO servlet + You can use this button to verify that a UWOBO service is actually running there:
    - Ask UWOBO for a list of the stylesheets currently compiled inside the servlet, along with their keys: + Ask UWOBO for a list of the stylesheets currently compiled inside the Web-Service, along with their keys:
    + + + + +
    Profilestop
    + +
    + +
    + +The following are commands to list and edit the UWOBO profiles. + +

    + +

    List existent profiles.

    + + + + +
    + +

    Create a new profile.

    + + + + + + + + + + + + +
    NameParent profileParent profile password
    +
    + +
    +     		+
    + +
    +     		+
    + +
    +     		+
    + +
    +
    + +

    Remove a profile.

    + + + + + + + + + + +
    NamePassword
    +
    + +
    +     		+
    + +
    +     		+
    + +
    +
    + +

    Show profile parameters.

    + + + + + + + + + + +
    NamePassword
    +
    + +
    +     		+
    + +
    +     		+
    + +
    +
    + +

    Set profile parameters.

    + + + + + + + + + + + + + + +
    NamePasswordParameter nameParameter value
    +
    + +
    +     		+
    + +
    +     		+
    + +
    +     		+
    + +
    +     		+
    + +
    +
    + +
    + +
    +     @@ -279,13 +424,17 @@ the getter is used by default (you can deselect it, however): - + + + + + @@ -356,8 +505,9 @@ be escaped. This might be particularly useful if the stylesheet is loaded by the
    -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: +Use the buttons below to remove or reload all the stylesheets. +Use these commands with +care, and remember that UWOBO can be shared among different users:

    @@ -477,7 +627,7 @@ When ready, click on the button and have fun! - +
    Page maintained by: Luca PadovaniPage maintained by: Luca Padovani top