]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/mQIConn.ml
packaging cleanup: get rid of ancient debhelpers, use dh_install
[helm.git] / helm / ocaml / mathql_interpreter / mQIConn.ml
index e138109b023cd123ab02f22079dfa7ba84fb4ab4..d4a0b067fd5c336fcdee15b6124fa13fe1bb9150 100644 (file)
@@ -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