- changed usage string so that it is a well fermod XHTML document (added
namespace, quoted ampersands)
let version = "0.3.0"
let conffile = "http_getter.conf.xml"
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
(* TODO provide a better usage string *)
let usage_string configuration =
sprintf
+"<?xml version=\"1.0\"?>
+<html xmlns=\"%s\" xmlns:helm=\"%s\">
<head>
<title>HTTP Getter's help message</title>
</head>
<head>
<title>HTTP Getter's help message</title>
</head>
display this help message
</p>
<p>
display this help message
</p>
<p>
- <b><kbd>getxml?uri=URI[&format=(normal|gz)][&patch_dtd=(yes|no)]</kbd></b><br />
+ <b><kbd>getxml?uri=URI[&format=(normal|gz)][&patch_dtd=(yes|no)]</kbd></b><br />
- <b><kbd>register?uri=URI&url=URL</kbd></b><br />
+ <b><kbd>register?uri=URI&url=URL</kbd></b><br />
</p>
<p>
<b><kbd>resolve?uri=URI</kbd></b><br />
</p>
<p>
</p>
<p>
<b><kbd>resolve?uri=URI</kbd></b><br />
</p>
<p>
- <b><kbd>getdtd?uri=URI[&patch_dtd=(yes|no)]</kbd></b><br />
+ <b><kbd>getdtd?uri=URI[&patch_dtd=(yes|no)]</kbd></b><br />
- <b><kbd>getxslt?uri=URI[&patch_dtd=(yes|no)]</kbd></b><br />
+ <b><kbd>getxslt?uri=URI[&patch_dtd=(yes|no)]</kbd></b><br />
</p>
<p>
<b><kbd><a href=\"/list_servers\">list_servers</a></kbd></b><br />
</p>
<p>
</p>
<p>
<b><kbd><a href=\"/list_servers\">list_servers</a></kbd></b><br />
</p>
<p>
- <b><kbd>add_server?url=URL&position=POSITION</kbd></b><br />
+ <b><kbd>add_server?url=URL&position=POSITION</kbd></b><br />
</p>
<p>
<b><kbd>remove_server?position=POSITION</kbd></b><br />
</p>
<p>
<b><kbd>remove_server?position=POSITION</kbd></b><br />
<b><kbd><a href=\"/getallrdfuris\">getallrdfuris</a></kbd></b><br />
</p>
<p>
<b><kbd><a href=\"/getallrdfuris\">getallrdfuris</a></kbd></b><br />
</p>
<p>
- <b><kbd>ls?baseuri=regexp&format=(txt|xml)</kbd></b><br />
+ <b><kbd>ls?baseuri=regexp&format=(txt|xml)</kbd></b><br />
</p>
<p>
<b><kbd><a href=\"/getempty\">getempty</a></kbd></b><br />
</p>
<p>
<b><kbd><a href=\"/getempty\">getempty</a></kbd></b><br />
+ xhtml_ns helm_ns
+ version configuration
let empty_xml =
"<?xml version=\"1.0\"?>
let empty_xml =
"<?xml version=\"1.0\"?>
val conffile: string
val empty_xml: 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
(** @return an HTML usage string including configuration information passed as
input parameter *)
val usage_string: string -> string