X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Fgetter%2Fhttp_getter_const.ml;h=f12d20f77bd8e79cd207b986c44c9f1a5595bf1c;hb=de9a83f286eee12117fb478ea2db18f7faebac9a;hp=4e68f95d9a7a526ed061af80f529bf617377fb27;hpb=dbba2a9addd1244a9b62f61b36dfc5338fbe850f;p=helm.git diff --git a/helm/ocaml/getter/http_getter_const.ml b/helm/ocaml/getter/http_getter_const.ml index 4e68f95d9..f12d20f77 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 -" - +" + HTTP Getter's help message @@ -49,57 +52,61 @@ let usage_string configuration = Available commands:

- help
+ help
display this help message

- 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
+ unregister?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)]

- list_servers
+ list_servers

- add_server?url=URL&position=POSITION
+ add_server?url=URL&position=POSITION

remove_server?position=POSITION

- update
+ update

- clean_cache
+ clean_cache

- getalluris?format=(txt|xml)
+ getalluris?format=(txt|xml)

- getallrdfuris
+ getallrdfuris

- ls?baseuri=URI&format=(txt|xml)
+ ls?baseuri=regexp&format=(txt|xml)

- getempty
+ getempty

Current configuration

%s
" - version configuration + xhtml_ns helm_ns + version configuration let empty_xml = "