From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 22 Apr 2004 15:00:11 +0000 (+0000)
Subject: mathql_interpreter.mysql_connection.* keys added.
X-Git-Tag: dead_dir_walking~6
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=9c04b87537176a487785472eaeee1d65953a0ab3

mathql_interpreter.mysql_connection.* keys added.
---

diff --git a/helm/ocaml/mathql_interpreter/mQIMySql.ml b/helm/ocaml/mathql_interpreter/mQIMySql.ml
index e5cb01e46..4a68c9398 100644
--- a/helm/ocaml/mathql_interpreter/mQIMySql.ml
+++ b/helm/ocaml/mathql_interpreter/mQIMySql.ml
@@ -27,8 +27,18 @@
  *)
 
 let init () =
-   try Mysql.quick_connect
-       ~host:"mowgli.cs.unibo.it" ~database:"mowgli" ~user:"helm" ()
+ let module HR = Helm_registry in
+   let host =
+    HR.get_opt HR.get_string "mathql_interpreter.mysql_connection.host" in
+   let database =
+    HR.get_opt HR.get_string "mathql_interpreter.mysql_connection.database" in
+   let user =
+    HR.get_opt HR.get_string "mathql_interpreter.mysql_connection.user" in
+   let port =
+    HR.get_opt HR.get_int "mathql_interpreter.mysql_connection.port" in
+   let password =
+    HR.get_opt HR.get_string "mathql_interpreter.mysql_connection.password" in
+   try Mysql.quick_connect ?host ?database ?user ?port ?password ()
    with _ -> raise (Failure "mqi_connecion")
 
 let close c = Mysql.disconnect c