]> matita.cs.unibo.it Git - helm.git/blobdiff - components/binaries/extractor/extractor.ml
maxipatch for support of multiple DBs.
[helm.git] / components / binaries / extractor / extractor.ml
index 832fc0cb35c622e8806c2257e4743d3667978e5e..981900c3c9e989a8a23bb606e4e57f75f9d717fc 100644 (file)
@@ -29,14 +29,11 @@ let path = Sys.argv.(1)
 let main () =
   print_endline (Printf.sprintf "%d alive on path:%s owner:%s" 
     (Unix.getpid()) path owner);
+  Helm_registry.load_from "extractor.conf.xml";
   Helm_registry.set "tmp.dir" path;
   Http_getter.init ();
-  let dbd =
-    HSql.quick_connect 
-      ~host:(Helm_registry.get "db.host") 
-      ~user:(Helm_registry.get "db.user") 
-      ~database:(Helm_registry.get "db.database") ()
-  in
+  let dbspec = LibraryDb.parse_dbd_conf () in
+  let dbd = HSql.quick_connect dbspec in
   MetadataTypes.ownerize_tables owner;
   let uris =
     let ic = open_in (path ^ "/todo") in