X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Fgetter%2Fhttp_getter_const.ml;h=944fc3ecab4e66ace659052edabb166a9d25a11d;hb=8c578ae2acfb32b39610aebbd4baab3a31775a9f;hp=c31942ea9cfb4812f04fb1a607ef9862f1cd4e83;hpb=8e2185ee1dc66e27b80356b53232cdeca5465ac7;p=helm.git diff --git a/helm/ocaml/getter/http_getter_const.ml b/helm/ocaml/getter/http_getter_const.ml index c31942ea9..944fc3eca 100644 --- a/helm/ocaml/getter/http_getter_const.ml +++ b/helm/ocaml/getter/http_getter_const.ml @@ -31,11 +31,14 @@ open Printf;; let version = "0.3.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 -" - +" +
- getxml?uri=URI[&format=(normal|gz)][&patch_dtd=(yes|no)]
+ getxml?uri=URI[&format=(normal|gz)][&patch_dtd=(yes|no)]
- register?uri=URI&url=URL
+ register?uri=URI&url=URL
resolve?uri=URI
- getdtd?uri=URI[&patch_dtd=(yes|no)]
+ getdtd?uri=URI[&patch_dtd=(yes|no)]
- getxslt?uri=URI[&patch_dtd=(yes|no)]
+ getxslt?uri=URI[&patch_dtd=(yes|no)]
- add_server?url=URL&position=POSITION
+ add_server?url=URL&position=POSITION
remove_server?position=POSITION
@@ -89,7 +92,7 @@ let usage_string configuration =
getallrdfuris
- ls?baseuri=regexp&format=(txt|xml)
+ ls?baseuri=regexp&format=(txt|xml)
getempty
@@ -99,7 +102,8 @@ let usage_string configuration =
"
- version configuration
+ xhtml_ns helm_ns
+ version configuration
let empty_xml =
"