} in
let xml_parser = XmlPushParser.create_parser callbacks in
XmlPushParser.parse xml_parser (`String doc);
+ XmlPushParser.final xml_parser;
match !res with
| Unknown -> raise UnexpectedGetterOutput
| Exception e -> raise e
let init () =
Http_getter_logger.set_log_level
- (Helm_registry.get_opt_default Helm_registry.get_int 1 "getter.log_level");
+ (Helm_registry.get_opt_default Helm_registry.int ~default:1
+ "getter.log_level");
Http_getter_logger.set_log_file
- (Helm_registry.get_opt Helm_registry.get_string "getter.log_file");
+ (Helm_registry.get_opt Helm_registry.string "getter.log_file");
Http_getter_env.reload ();
let is_prefetch_set =
- Helm_registry.get_opt_default Helm_registry.get_bool false "getter.prefetch"
+ Helm_registry.get_opt_default Helm_registry.bool ~default:false
+ "getter.prefetch"
in
if is_prefetch_set then
(* ignore (Thread.create sync_with_map ()) *)