- the mathql interpreter is not helm-dependent any more

[helm.git] / helm / ocaml / mathql_interpreter / mQIPostgres.ml

diff --git a/helm/ocaml/mathql_interpreter/mQIPostgres.ml b/helm/ocaml/mathql_interpreter/mQIPostgres.ml
index fe4e3f6f95ac47d51dc9b9487e90de6687fd5191..6f8a6f7ba5af27a48af61bdc80b97f0a6c668f19 100644 (file)
--- a/helm/ocaml/mathql_interpreter/mQIPostgres.ml
+++ b/helm/ocaml/mathql_interpreter/mQIPostgres.ml
@@ -23,26 +23,18 @@
  * http://cs.unibo.it/helm/.
  *)
 
-let default_connection_string =
-   "dbname=mowgli_test user=helm"
-
-let connection = ref None
-
-let connection_string =
-   try Sys.getenv "POSTGRESQL_CONNECTION_STRING"
-   with Not_found -> default_connection_string 
+(*  AUTOR: Ferruccio Guidi <fguidi@cs.unibo.it>
+ *)
 
-let init () =
-   try connection := Some (new Postgres.connection connection_string);
+let init connection_string =
+   try Some (new Postgres.connection connection_string)
    with _ -> raise (Failure ("MQIPostgres.init: " ^ connection_string))
 
-let close () = match ! connection with
+let close = function
    |  None   -> ()
    |  Some c -> c#close
 
-let check () = ! connection <> None 
-
-let exec q = match ! connection with
+let exec c q = match c with
    | None   -> []
    | Some c -> (c#exec q)#get_list