X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fbinaries%2Fextractor%2Fextractor.ml;h=981900c3c9e989a8a23bb606e4e57f75f9d717fc;hb=refs%2Ftags%2F0.4.95%407852;hp=418d5ff7cd8b7c6e32f323942aa884bee48ce129;hpb=d4c6f8464dc183326b7f7b4dc6171e69b482a26b;p=helm.git

diff --git a/components/binaries/extractor/extractor.ml b/components/binaries/extractor/extractor.ml
index 418d5ff7c..981900c3c 100644
--- a/components/binaries/extractor/extractor.ml
+++ b/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 =
-    HMysql.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