X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Fmathql_interpreter%2FmQIConn.ml;h=270d1f9d0cd1eee283fc25bd6de052c656277835;hb=63b0d7b57e1c0b85c8e38fadf1d24411fa9b4897;hp=e138109b023cd123ab02f22079dfa7ba84fb4ab4;hpb=9e5ad471e2161436f4ff7ff56edce2947350d828;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/mQIConn.ml b/helm/ocaml/mathql_interpreter/mQIConn.ml
index e138109b0..270d1f9d0 100644
--- a/helm/ocaml/mathql_interpreter/mQIConn.ml
+++ b/helm/ocaml/mathql_interpreter/mQIConn.ml
@@ -26,7 +26,9 @@
 (*  AUTOR: Ferruccio Guidi <fguidi@cs.unibo.it>
  *)
 
-type connection = MySQL_C    of Mysql.dbd
+(* $Id$ *)
+
+type connection = MySQL_C    of HMysql.dbd
                 | Postgres_C of Postgres.connection
 		| No_C
                   
@@ -114,11 +116,11 @@ let close handle =
       | Postgres_C c -> MQIPostgres.close c
       | No_C         -> ()
 
-let exec handle table cols ct cfl =
+let exec handle out table cols ct cfl =
    match pgc handle with
-      | MySQL_C c    -> MQIMySql.exec c table cols ct cfl
-      | Postgres_C c -> MQIPostgres.exec c table cols ct cfl
-      | No_C         -> [], ""
+      | MySQL_C c    -> MQIMySql.exec (c, out) table cols ct cfl
+      | Postgres_C c -> MQIPostgres.exec (c, out) table cols ct cfl
+      | No_C         -> []
 
 let connected handle =
    pgc handle <> No_C