X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fgetter%2Fhttp_getter_const.ml;h=8103efcfa3cbffb8adb96d40f8abb2184227eb12;hb=771ee8b9d122fa963881c876e86f90531bb7434f;hp=f12d20f77bd8e79cd207b986c44c9f1a5595bf1c;hpb=3c926cbca1a642526ad4150ef2304b312cf3c088;p=helm.git

diff --git a/helm/ocaml/getter/http_getter_const.ml b/helm/ocaml/getter/http_getter_const.ml
index f12d20f77..8103efcfa 100644
--- a/helm/ocaml/getter/http_getter_const.ml
+++ b/helm/ocaml/getter/http_getter_const.ml
@@ -26,9 +26,11 @@
  *  http://helm.cs.unibo.it/
  *)
 
+(* $Id$ *)
+
 open Printf;;
 
-let version = "0.3.0"
+let version = "0.4.0"
 let conffile = "http_getter.conf.xml"
 
 let xhtml_ns = "http://www.w3.org/1999/xhtml"
@@ -58,12 +60,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 +69,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>
@@ -89,13 +76,10 @@ let usage_string configuration =
       <b><kbd><a href=\"clean_cache\">clean_cache</a></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=\"/getallrdfuris\">getallrdfuris</a></kbd></b><br />
+      <b><kbd>ls?baseuri=regexp&amp;format=(txt|xml)</kbd></b><br />
     </p>
     <p>
-      <b><kbd>ls?baseuri=regexp&amp;format=(txt|xml)</kbd></b><br />
+      <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 />