From 9c04b87537176a487785472eaeee1d65953a0ab3 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Thu, 22 Apr 2004 15:00:11 +0000 Subject: [PATCH] mathql_interpreter.mysql_connection.* keys added. --- helm/ocaml/mathql_interpreter/mQIMySql.ml | 14 ++++++++++++-- 1 file changed, 12 insertions(+), 2 deletions(-) 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 -- 2.39.2