From a60d330dfaf77e399c8f0419f78aa4d1422cc367 Mon Sep 17 00:00:00 2001
From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Tue, 8 Oct 2002 11:58:09 +0000
Subject: [PATCH] topLevel updated for the new mqint

---
 helm/gTopLevel/topLevel/topLevel.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/helm/gTopLevel/topLevel/topLevel.ml b/helm/gTopLevel/topLevel/topLevel.ml
index 4c202a6d5..16d28dc01 100644
--- 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
 
-- 
2.39.2