From: Luca Padovani Date: Tue, 25 May 2004 17:54:03 +0000 (+0000) Subject: New: UWOBO profiles added. X-Git-Tag: premoogle~2 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a60ffe278a1511fb75b46fa62dbbe8c94da1bec1;p=helm.git New: UWOBO profiles added. --- 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): + diff --git a/helm/uwobo-panel/control.js b/helm/uwobo-panel/control.js index 393bd3a68..9858fe140 100644 --- a/helm/uwobo-panel/control.js +++ b/helm/uwobo-panel/control.js @@ -91,6 +91,44 @@ function selectPredefinedStylesheet(ss) document.loadEscape.elements[0].checked = true; } +function getProfileParams() +{ + var password = document.getParamsProfilePassword.elements[0].value; + if (password != "") { password = "&password=" + password; }; + + top.result.location.replace(getUwoboURL() + "getparams?id=" + document.getParamsProfileID.elements[0].value + password); +} + +function setProfileParam() +{ + var password = document.setParamProfilePassword.elements[0].value; + if (password != "") { password = "&password=" + password; }; + + top.result.location.replace(getUwoboURL() + "setparam?id=" + document.setParamProfileID.elements[0].value + "&key=" + document.setParamProfileKey.elements[0].value + "&value=" + document.setParamProfileValue.elements[0].value + password); +} + +function createProfile() +{ + var id = document.createProfileID.elements[0].value; + if (id != "") { id = "&id=" + id; }; + + var password = document.createProfilePassword.elements[0].value; + if (password != "") { password = "&password=" + password; }; + + var clone = document.createProfileClone.elements[0].value; + if (clone != "") { clone = "&orig=" + clone; }; + + top.result.location.replace(getUwoboURL() + "createprofile?foo=x" + id + password + clone); +} + +function removeProfile() +{ + var password = document.removeProfilePassword.elements[0].value; + if (password != "") { password = "&password=" + password; }; + + top.result.location.replace(getUwoboURL() + "removeprofile?id=" + document.removeProfileID.elements[0].value + password); +} + function getStylesheetURL() { var s;