topLevel updated for the new mqint

diff --git a/helm/gTopLevel/topLevel/topLevel.ml b/helm/gTopLevel/topLevel/topLevel.ml
index 4c202a6d55d884b17ad3268f2510e5daa826555a..16d28dc01181e6f504e6b2af46cb94cf666622b1 100644 (file)
--- a/helm/gTopLevel/topLevel/topLevel.ml
+++ b/helm/gTopLevel/topLevel/topLevel.ml
@@ -1,3 +1,5 @@
+let connection_param = "host=mowgli.cs.unibo.it dbname=helm user=helm"
+
 let show_queries = ref false
 
 let use_db = ref true
@@ -8,7 +10,7 @@ let nl = " <p>\n"
 
 let check_db () =
    if ! db_down then 
-      if ! use_db then begin Mqint.init (); db_down := false; true end 
+      if ! use_db then begin Mqint.init connection_param; db_down := false; true end 
       else begin print_endline "Not issuing in restricted mode"; false end
    else true