X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2FmQIPostgres.ml;h=6f8a6f7ba5af27a48af61bdc80b97f0a6c668f19;hb=7cb90c67bc6f8113188a91ecc29f6db20db5aeb8;hp=b19a51c83bbb0ccfde390b50ae485df1e8a3a0ed;hpb=91db309a46f8b6f100a36abbc568deec10a8d1df;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/mQIPostgres.ml b/helm/ocaml/mathql_interpreter/mQIPostgres.ml
index b19a51c83..6f8a6f7ba 100644
--- a/helm/ocaml/mathql_interpreter/mQIPostgres.ml
+++ b/helm/ocaml/mathql_interpreter/mQIPostgres.ml
@@ -23,14 +23,10 @@
  * http://cs.unibo.it/helm/.
  *)
 
-let default_connection_string =
-   "dbname=mowgli user=helm"
-
-let connection_string =
-   try Sys.getenv "POSTGRESQL_CONNECTION_STRING"
-   with Not_found -> default_connection_string 
+(*  AUTOR: Ferruccio Guidi <fguidi@cs.unibo.it>
+ *)
 
-let init () =
+let init connection_string =
    try Some (new Postgres.connection connection_string)
    with _ -> raise (Failure ("MQIPostgres.init: " ^ connection_string))