X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2FmQIConn.ml;h=aaf16fac4c0c692c037eaa793b58c80a7c734622;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;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..aaf16fac4 100644
--- a/helm/ocaml/mathql_interpreter/mQIConn.ml
+++ b/helm/ocaml/mathql_interpreter/mQIConn.ml
@@ -26,7 +26,7 @@
 (*  AUTOR: Ferruccio Guidi <fguidi@cs.unibo.it>
  *)
 
-type connection = MySQL_C    of Mysql.dbd
+type connection = MySQL_C    of HMysql.dbd
                 | Postgres_C of Postgres.connection
 		| No_C
                   
@@ -114,11 +114,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