ocaml 3.09 transition

[helm.git] / helm / ocaml / getter / http_getter_const.ml
diff --git a/helm/ocaml/getter/http_getter_const.ml b/helm/ocaml/getter/http_getter_const.ml

index 4e68f95d9a7a526ed061af80f529bf617377fb27..00fff4f378f815e8a2668c0d4f11b131e488dbf2 100644 (file)
--- a/helm/ocaml/getter/http_getter_const.ml
+++ b/helm/ocaml/getter/http_getter_const.ml
@@ -28,14 +28,17 @@
  
  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"
+let helm_ns = "http://www.cs.unibo.it/helm"
+
    (* TODO provide a better usage string *)
  let usage_string configuration =
    sprintf
-"
-<html>
+"<?xml version=\"1.0\"?>
+<html xmlns=\"%s\" xmlns:helm=\"%s\">
    <head>
      <title>HTTP Getter's help message</title>
    </head>
@@ -49,57 +52,43 @@ let usage_string configuration =
      Available commands:
      </p>
      <p>
-      <b><kbd>help</kbd></b><br />
+      <b><kbd><a href=\"/help\">help</a></kbd></b><br />
        display this help message
      </p>
      <p>
-      <b><kbd>getxml?uri=URI[&format=(normal|gz)][&patch_dtd=(yes|no)]</kbd></b><br />
-    </p>
-    <p>
-      <b><kbd>register?uri=URI&url=URL</kbd></b><br />
+      <b><kbd>getxml?uri=URI[&amp;format=(normal|gz)][&amp;patch_dtd=(yes|no)]</kbd></b><br />
      </p>
      <p>
        <b><kbd>resolve?uri=URI</kbd></b><br />
      </p>
      <p>
-      <b><kbd>getdtd?uri=URI[&patch_dtd=(yes|no)]</kbd></b><br />
-    </p>
-    <p>
-      <b><kbd>getxslt?uri=URI[&patch_dtd=(yes|no)]</kbd></b><br />
-    </p>
-    <p>
-      <b><kbd>list_servers</kbd></b><br />
-    </p>
-    <p>
-      <b><kbd>add_server?url=URL&position=POSITION</kbd></b><br />
-    </p>
-    <p>
-      <b><kbd>remove_server?position=POSITION</kbd></b><br />
+      <b><kbd>getdtd?uri=URI[&amp;patch_dtd=(yes|no)]</kbd></b><br />
      </p>
      <p>
-      <b><kbd>update</kbd></b><br />
+      <b><kbd>getxslt?uri=URI[&amp;patch_dtd=(yes|no)]</kbd></b><br />
      </p>
      <p>
-      <b><kbd>clean_cache</kbd></b><br />
+      <b><kbd><a href=\"/update\">update</a></kbd></b><br />
      </p>
      <p>
-      <b><kbd>getalluris?format=(txt|xml)</kbd></b><br />
+      <b><kbd><a href=\"clean_cache\">clean_cache</a></kbd></b><br />
      </p>
      <p>
-      <b><kbd>getallrdfuris</kbd></b><br />
+      <b><kbd>ls?baseuri=regexp&amp;format=(txt|xml)</kbd></b><br />
      </p>
      <p>
-      <b><kbd>ls?baseuri=URI&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>getempty</kbd></b><br />
+      <b><kbd><a href=\"/getempty\">getempty</a></kbd></b><br />
      </p>
      <h2>Current configuration</h2>
      <pre>%s</pre>
    </body>
  </html>
  "
-    version configuration
+  xhtml_ns helm_ns
+  version configuration
  
  let empty_xml =
  "<?xml version=\"1.0\"?>