X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmetadata%2Ftest.ml;fp=helm%2Focaml%2Fmetadata%2Ftest.ml;h=b36ba9176f78369e519f208214ee9e2f444e1256;hb=282f371ba8533ea0e4e667265f9e4b04856bf972;hp=27be47c23cb1c545c14eef1e3241764f9ff66e96;hpb=08b4e4ec7df6644f42fcad30b9d46195c935cf6e;p=helm.git

diff --git a/helm/ocaml/metadata/test.ml b/helm/ocaml/metadata/test.ml
index 27be47c23..b36ba9176 100644
--- a/helm/ocaml/metadata/test.ml
+++ b/helm/ocaml/metadata/test.ml
@@ -1,23 +1,24 @@
 
-module DB = Dbi_mysql
-
 let _ = Helm_registry.set "getter.mode" "remote";
 let _ = Helm_registry.set "getter.url" "http://mowgli.cs.unibo.it:58081/" in
-let dbh = new DB.connection ~host:"mowgli.cs.unibo.it" ~user:"helm" "matita" in
+let dbd =
+  Mysql.quick_connect ~host:"mowgli.cs.unibo.it" ~user:"helm" ~database:"matita"
+    ()
+in
 let owner =
   try
     Sys.argv.(2)
   with Invalid_argument _ -> "matita_test"
 in
 if Sys.argv.(1) = "clean" then
-  MetadataDb.clean ~dbh ~owner
+  MetadataDb.clean ~dbd ~owner
 else
   let uri_str = Sys.argv.(1) in
   let uri = UriManager.uri_of_string uri_str in
   match CicEnvironment.get_obj uri with
   | Cic.Constant (_, body, ty, _) ->
-      MetadataDb.index_constant ~body ~ty ~uri ~owner ~dbh
+      MetadataDb.index_constant ~body ~ty ~uri ~owner ~dbd
   | Cic.InductiveDefinition (types, _, _) ->
-      MetadataDb.index_inductive_def ~dbh ~owner ~uri ~types
+      MetadataDb.index_inductive_def ~dbd ~owner ~uri ~types
   | _ -> assert false