* http://helm.cs.unibo.it/
*)
+open Http_getter_types
+
(** {2 general information} *)
val version : string (* getter version *)
(** all *_dir values are returned with trailing "/" *)
val cache_dir : string lazy_t (* cache root *)
-val dtd_dir : string lazy_t (* DTDs' root directory *)
+val dtd_dir : string option lazy_t (* DTDs' root directory *)
val port : int lazy_t (* port on which getter listens *)
val dtd_base_urls : string list lazy_t (* base URLs for document patching *)
-val prefixes : (string * string) list lazy_t (* prefix map uri -> url *)
+val prefixes : (string * (string * prefix_attr list)) list lazy_t
+ (* prefix map uri -> url + attrs *)
(* {2 derived data} *)
current http_getter settings on an output
channel *)
+val get_dtd_dir : unit -> string
+