]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/mQIConn.ml
Quick patch to make everything work with MySql.
[helm.git] / helm / ocaml / mathql_interpreter / mQIConn.ml
index d0dedf143ca20beed109c4db9399d15412a6e940..4e27c9782c7afcf7cf61ad2e53ff9cdd8ef05754 100644 (file)
@@ -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