From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Tue, 8 Oct 2002 11:58:09 +0000 (+0000)
Subject: topLevel updated for the new mqint
X-Git-Tag: new_mathql_before_first_merge~14
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a60d330dfaf77e399c8f0419f78aa4d1422cc367;p=helm.git

topLevel updated for the new mqint
---

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