X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fuwobo-panel%2Fcontrol.html;h=4cb183bdce6c3d7d2bf9e3327be3a388b49e21c7;hb=bb236c2ac110124de92fa2d0fb2882d273a7f7eb;hp=5345fa33466762b593164b36fe785ecd2c0e2293;hpb=eb6b979aab9c57fc6daec391849ce318e0ca3067;p=helm.git diff --git a/helm/uwobo-panel/control.html b/helm/uwobo-panel/control.html index 5345fa334..4cb183bdc 100644 --- a/helm/uwobo-panel/control.html +++ b/helm/uwobo-panel/control.html @@ -37,6 +37,7 @@ The sections:
  • Global Parameters
  • Daemon Management
  • Queries
    • +
  • Profiles
  • Stylesheet Management
  • Processing
    • @@ -238,6 +239,152 @@ The following are commands to do some simple queries about the UWOBO service. +
    + + + + + + +
    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
    +
    + +
    +     		+
    + +
    +     		+
    + +
    +     		+
    + +
    +     		+
    + +
    +
    + +
    + +
    +     @@ -278,6 +425,7 @@ the getter is used by default (you can deselect it, however): +