if remote () then
unregister_remote uri
else
- (map_of_uri uri)#remove uri
+ try
+ (map_of_uri uri)#remove uri
+ with Key_not_found _ -> ()
let update ?(logger = fun _ -> ()) () =
if remote () then
if remote () then
getxml_remote ~format ~patch_dtd uri
else begin
-Http_getter_logger.log ("GETXML: " ^ uri);
+ Http_getter_logger.log ~level:2 ("getxml: " ^ uri);
let url = resolve uri in
-Http_getter_logger.log ("RESOLVED_URI: " ^ url) ;
+ Http_getter_logger.log ~level:2 ("resolved_uri: " ^ url) ;
let (fname, outchan) = temp_file_of_uri uri in
Http_getter_cache.respond_xml ~via_http:false ~enc:format ~patch:patch_dtd
~uri ~url outchan;
let getxml' uri = getxml (UriManager.string_of_uri uri)
let resolve' uri = resolve (UriManager.string_of_uri uri)
let register' uri url = register ~uri:(UriManager.string_of_uri uri) ~url
+let init () =
+ Http_getter_logger.set_log_level
+ (Helm_registry.get_opt_default Helm_registry.get_int 1 "getter.log_level");
+ Http_getter_logger.set_log_file
+ (Helm_registry.get_opt Helm_registry.get_string "getter.log_file");
+ Http_getter_env.reload ()
(** @raise Http_getter_types.Key_already_in _ *)
val register: uri:string -> url:string -> unit
- (** @raise Http_getter_types.Key_not_found _ *)
+ (** does not fail if given uri does not exist *)
val unregister: string -> unit
val update: ?logger:logger_callback -> unit -> unit
val close_maps: unit -> unit
val update_from_one_server: ?logger:logger_callback -> string -> unit
val has_server: int -> bool (* does a server with a given position exists? *)
+val init: unit -> unit