]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/mQIPostgres.ml
Quick patch to make everything work with MySql.
[helm.git] / helm / ocaml / mathql_interpreter / mQIPostgres.ml
index b19a51c83bbb0ccfde390b50ae485df1e8a3a0ed..0e6d7c2cccbbd415723f52e594d6893a3fbba733 100644 (file)
  * http://cs.unibo.it/helm/.
  *)
 
-let default_connection_string =
-   "dbname=mowgli user=helm"
+(*  AUTOR: Ferruccio Guidi <fguidi@cs.unibo.it>
+ *)
 
-let connection_string =
-   try Sys.getenv "POSTGRESQL_CONNECTION_STRING"
-   with Not_found -> default_connection_string 
+type connection = Postgres.connection
 
-let init () =
+let init connection_string =
    try Some (new Postgres.connection connection_string)
    with _ -> raise (Failure ("MQIPostgres.init: " ^ connection_string))