]> matita.cs.unibo.it Git - helm.git/commitdiff
patched and improved
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 10 Oct 2003 14:40:12 +0000 (14:40 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 10 Oct 2003 14:40:12 +0000 (14:40 +0000)
helm/ocaml/mathql_interpreter/mQIPostgres.ml

index 6f8a6f7ba5af27a48af61bdc80b97f0a6c668f19..260d46c3b00ce74d4f2e7d328c25c9ca06dbab4c 100644 (file)
@@ -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   -> ()