X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2FmQIConn.ml;h=d4a0b067fd5c336fcdee15b6124fa13fe1bb9150;hb=275727242ccdce9df01af65f3bfb2d65283fa197;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..d4a0b067f 100644
--- a/helm/ocaml/mathql_interpreter/mQIConn.ml
+++ b/helm/ocaml/mathql_interpreter/mQIConn.ml
@@ -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