X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Focaml%2Fgetter%2Fhttp_getter_const.ml;h=8103efcfa3cbffb8adb96d40f8abb2184227eb12;hb=a7063fc0997a9d9eae6c329443e67ab92c4b6a0f;hp=a4eac83e5a36f5aed2bf75adf94c0e515d746e05;hpb=384c369d4cbf5dd6cf1013902d3a218260400e73;p=helm.git diff --git a/helm/ocaml/getter/http_getter_const.ml b/helm/ocaml/getter/http_getter_const.ml index a4eac83e5..8103efcfa 100644 --- a/helm/ocaml/getter/http_getter_const.ml +++ b/helm/ocaml/getter/http_getter_const.ml @@ -26,16 +26,21 @@ * 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" +let helm_ns = "http://www.cs.unibo.it/helm" + (* TODO provide a better usage string *) let usage_string configuration = sprintf -" - +" +
- help
+ help
display this help message
- getxml?uri=URI[&format=(normal|gz)][&patch_dtd=(yes|no)]
-
- register?uri=URI&url=URL
+ getxml?uri=URI[&format=(normal|gz)][&patch_dtd=(yes|no)]
resolve?uri=URI
- getdtd?uri=URI[&patch_dtd=(yes|no)]
-
- getxslt?uri=URI[&patch_dtd=(yes|no)]
-
- list_servers
-
- add_server?url=URL&position=POSITION
-
- remove_server?position=POSITION
+ getdtd?uri=URI[&patch_dtd=(yes|no)]
- update
+ getxslt?uri=URI[&patch_dtd=(yes|no)]
- clean_cache
+ update
- getalluris
+ clean_cache
- getallrdfuris
+ ls?baseuri=regexp&format=(txt|xml)
- ls?baseuri=URI&format=(txt|xml)
+ getalluris?format=(txt|xml)
- getempty
+ getempty
%s" - version configuration + xhtml_ns helm_ns + version configuration let empty_xml = "