From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Fri, 10 Oct 2003 14:40:12 +0000 (+0000)
Subject: patched and improved
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=a3466917f94c1910b5e16f1dfe601bd9e8af167e

patched and improved
---

diff --git a/helm/ocaml/mathql_interpreter/mQIPostgres.ml b/helm/ocaml/mathql_interpreter/mQIPostgres.ml
index 6f8a6f7ba..260d46c3b 100644
--- a/helm/ocaml/mathql_interpreter/mQIPostgres.ml
+++ b/helm/ocaml/mathql_interpreter/mQIPostgres.ml
@@ -28,7 +28,7 @@
 
 let init connection_string =
    try Some (new Postgres.connection connection_string)
-   with _ -> raise (Failure ("MQIPostgres.init: " ^ connection_string))
+   with _ -> None
 
 let close = function
    |  None   -> ()