From: Stefano Zacchiroli Date: Mon, 17 Jan 2005 16:24:22 +0000 (+0000) Subject: - added helm_ns and xhtml_ns (XHTML and HELM namespace, respectively) X-Git-Tag: V_0_1_0~134 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=ea4be3e2ab861e8569ee923aff9df23bb3fd8f43;p=helm.git - added helm_ns and xhtml_ns (XHTML and HELM namespace, respectively) - changed usage string so that it is a well fermod XHTML document (added namespace, quoted ampersands) --- 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 -" - +" + HTTP Getter's help message @@ -53,25 +56,25 @@ let usage_string configuration = 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

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

- 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 = " diff --git a/helm/ocaml/getter/http_getter_const.mli b/helm/ocaml/getter/http_getter_const.mli index 894ccd645..d532313f0 100644 --- a/helm/ocaml/getter/http_getter_const.mli +++ b/helm/ocaml/getter/http_getter_const.mli @@ -30,6 +30,9 @@ val version: string val conffile: string val empty_xml: string +val helm_ns: string (** helm namespace *) +val xhtml_ns: string (** xhtml namespace *) + (** @return an HTML usage string including configuration information passed as input parameter *) val usage_string: string -> string