From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 6 Jul 2005 15:23:46 +0000 (+0000)
Subject: help string in sync with available commands
X-Git-Tag: V_0_7_1~53
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a469edc9d2225c0f96546fbc45049ebfcc9228ad;p=helm.git

help string in sync with available commands
---

diff --git a/helm/ocaml/getter/http_getter_const.ml b/helm/ocaml/getter/http_getter_const.ml
index b9b0ce7a7..00fff4f37 100644
--- a/helm/ocaml/getter/http_getter_const.ml
+++ b/helm/ocaml/getter/http_getter_const.ml
@@ -58,12 +58,6 @@ let usage_string configuration =
     <p>
       <b><kbd>getxml?uri=URI[&amp;format=(normal|gz)][&amp;patch_dtd=(yes|no)]</kbd></b><br />
     </p>
-    <p>
-      <b><kbd>register?uri=URI&amp;url=URL</kbd></b><br />
-    </p>
-    <p>
-      <b><kbd>unregister?uri=URI&amp;url=URL</kbd></b><br />
-    </p>
     <p>
       <b><kbd>resolve?uri=URI</kbd></b><br />
     </p>
@@ -73,15 +67,6 @@ let usage_string configuration =
     <p>
       <b><kbd>getxslt?uri=URI[&amp;patch_dtd=(yes|no)]</kbd></b><br />
     </p>
-    <p>
-      <b><kbd><a href=\"/list_servers\">list_servers</a></kbd></b><br />
-    </p>
-    <p>
-      <b><kbd>add_server?url=URL&amp;position=POSITION</kbd></b><br />
-    </p>
-    <p>
-      <b><kbd>remove_server?position=POSITION</kbd></b><br />
-    </p>
     <p>
       <b><kbd><a href=\"/update\">update</a></kbd></b><br />
     </p>
@@ -91,6 +76,9 @@ let usage_string configuration =
     <p>
       <b><kbd>ls?baseuri=regexp&amp;format=(txt|xml)</kbd></b><br />
     </p>
+    <p>
+      <b><kbd>getalluris?format=(<a href=\"/getalluris?format=txt\">txt</a>|<a href=\"/getalluris?format=xml\">xml</a>)</kbd></b><br />
+    </p>
     <p>
       <b><kbd><a href=\"/getempty\">getempty</a></kbd></b><br />
     </p>