X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fbinaries%2Fextractor%2Fextractor.ml;h=981900c3c9e989a8a23bb606e4e57f75f9d717fc;hb=b367de0252e88d6b0476648d5ceac7e4aeffca27;hp=832fc0cb35c622e8806c2257e4743d3667978e5e;hpb=ac741958783108ff31552e533c853e85c2ebb1c5;p=helm.git

diff --git a/helm/software/components/binaries/extractor/extractor.ml b/helm/software/components/binaries/extractor/extractor.ml
index 832fc0cb3..981900c3c 100644
--- a/helm/software/components/binaries/extractor/extractor.ml
+++ b/helm/software/components/binaries/extractor/extractor.ml
@@ -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