From 1372c46df7b4acc8073852a276eb63a6c6c7fea5 Mon Sep 17 00:00:00 2001 From: lordi Date: Wed, 19 Jun 2002 13:22:03 +0000 Subject: [PATCH] database connection parameters updated --- helm/ocaml/mathql_interpreter/dbconn.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/helm/ocaml/mathql_interpreter/dbconn.ml b/helm/ocaml/mathql_interpreter/dbconn.ml index dd4ae5f02..db4b8fb9c 100644 --- a/helm/ocaml/mathql_interpreter/dbconn.ml +++ b/helm/ocaml/mathql_interpreter/dbconn.ml @@ -39,8 +39,8 @@ open MathQL;; * TODO: bisogna scegliere se questi parametri vengono * passati come argomento *) -let connection_param = "dbname=helm";; -(*let connection_param = "host=dotto.cs.unibo.it dbname=helm user=helm";;*) +(*let connection_param = "dbname=helm";;*) +let connection_param = "host=dotto.cs.unibo.it dbname=helm user=helm";; (* * connessione al db -- 2.39.2