]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/mQIMySql.ml
Added $Id$ to every .ml file.
[helm.git] / helm / ocaml / mathql_interpreter / mQIMySql.ml
index 4a68c93987a1c856af9c237ae938e20a7a76a3ed..3380e1f1f28518602cb773691f6bbe77092d442e 100644 (file)
@@ -26,6 +26,8 @@
 (*  AUTOR: Ferruccio Guidi <fguidi@cs.unibo.it>
  *)
 
+(* $Id$ *)
+
 let init () =
  let module HR = Helm_registry in
    let host =
@@ -38,10 +40,10 @@ let init () =
     HR.get_opt HR.get_int "mathql_interpreter.mysql_connection.port" in
    let password =
     HR.get_opt HR.get_string "mathql_interpreter.mysql_connection.password" in
-   try Mysql.quick_connect ?host ?database ?user ?port ?password ()
+   try HMysql.quick_connect ?host ?database ?user ?port ?password ()
    with _ -> raise (Failure "mqi_connecion")
 
-let close c = Mysql.disconnect c
+let close c = HMysql.disconnect c
 
 let quote s =
    let rec quote_aux s =
@@ -56,7 +58,7 @@ let quote s =
 let exec (c, out) q = 
    let g = function None -> "" | Some v -> v in
    let f a = List.map g (Array.to_list a) in
-   out q; Mysql.map ~f:f (Mysql.exec c q)
+   out q; HMysql.map ~f:f (Mysql.exec c q)
 
 let exec c table cols ct cfl =
    let rec iter f last sep = function