]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/getter/http_getter.ml
ported to latest registry interface
[helm.git] / helm / ocaml / getter / http_getter.ml
index 58c94ac957c8dc2ccce93d7546f7bed42ea53ff8..41d62fb380bb966d4dcacef94d99ba7a1eb18125 100644 (file)
@@ -276,6 +276,7 @@ let resolve_remote uri =
   } 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
@@ -650,12 +651,14 @@ let sync_dump_file () =
   
 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 ()) *)