X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2FmQIConn.ml;h=4e27c9782c7afcf7cf61ad2e53ff9cdd8ef05754;hb=b5503c72c5560e8da3337e99bf058f0caab350e8;hp=d0dedf143ca20beed109c4db9399d15412a6e940;hpb=27ebca99c83f84c5a3915695e3f78b36c4fbcedf;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/mQIConn.ml b/helm/ocaml/mathql_interpreter/mQIConn.ml
index d0dedf143..4e27c9782 100644
--- a/helm/ocaml/mathql_interpreter/mQIConn.ml
+++ b/helm/ocaml/mathql_interpreter/mQIConn.ml
@@ -31,7 +31,7 @@ type flag = Galax | Postgres | Queries | Result | Source | Times | Warn
 type handle = {
    log : string -> unit;             (* logging function        *)
    set : flag list;                  (* options                 *)
-   pgc : Postgres.connection option; (* PG connection           *)
+   pgc : MQIDataBase.connection option; (* PG connection           *)
    pgm : MQIMap.pg_map;              (* PG conversion function  *)
    pga : MQIMap.pg_alias             (* PG table aliases        *)
 }
@@ -98,13 +98,13 @@ let init ?(flags = []) ?(log = ignore) () =
      if List.mem Galax flags then
       None
      else
-      MQIPostgres.init
+      MQIDataBase.init
        (Helm_registry.get "mathql_interpreter.postgresql_connection_string");
     pgm = m; pga = a
    }	   
 
 let close handle =
-   if set handle Galax then () else MQIPostgres.close handle.pgc
+   if set handle Galax then () else MQIDataBase.close handle.pgc
 
 let connected handle =
    if set handle Galax then false else (pgc handle) <> None