open Http_getter_types
+ (** {2 Loggers} *)
+
+type logger_callback = HelmLogger.html_tag -> unit
+
+val stdout_logger: logger_callback
+
(** {2 Getter Web Service interface as API *)
val help: unit -> string
val resolve: string -> string (* uri -> url *)
val register: uri:string -> url:string -> unit
-val update: unit -> HelmLogger.html_msg
+val update: ?logger:logger_callback -> unit -> unit
val getxml : ?format:encoding -> ?patch_dtd:bool -> string -> string
val getxslt : ?patch_dtd:bool -> string -> string
val getdtd : ?patch_dtd:bool -> string -> string
val clean_cache: unit -> unit
val list_servers: unit -> (int * string) list
-val add_server: ?position:int -> string -> HelmLogger.html_msg
-val remove_server: int -> HelmLogger.html_msg
+val add_server: ?logger:logger_callback -> ?position:int -> string -> unit
+val remove_server: ?logger:logger_callback -> int -> unit
val getalluris: unit -> string list
val getallrdfuris: [ `Forward | `Backward ] -> string list
-val ls: xml_uri -> ls_item list
+
+ (** @param regexp regular expression (PCRE syntax) over HELM URIs *)
+val ls: string -> ls_item list
(** {2 Shorthands} *)
(** {2 Misc} *)
val close_maps: unit -> unit
-val update_from_one_server: string -> HelmLogger.html_msg
+val update_from_one_server: ?logger:logger_callback -> string -> unit
+val has_server: int -> bool (* does a server with a given position exists? *)