From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Thu, 9 Sep 2004 16:36:46 +0000 (+0000)
Subject: now should run also when the db is down (untested)
X-Git-Tag: moogle_mathql~6
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=017cd0cdd6a0bde85c25b230ffb8796d08ffc434;p=helm.git

now should run also when the db is down (untested)
(the -nodb option is still unimplemented)
---

diff --git a/helm/gTopLevel/gTopLevel.ml b/helm/gTopLevel/gTopLevel.ml
index 197b6f1ee..ba0615246 100644
--- a/helm/gTopLevel/gTopLevel.ml
+++ b/helm/gTopLevel/gTopLevel.ml
@@ -62,7 +62,7 @@ let _ =
 (* GLOBAL CONSTANTS *)
 
 let mqi_debug_fun s = debug_print ~level:2 s
-let mqi_handle = MQIC.init ~log:mqi_debug_fun ()
+let mqi_handle = MQIC.init_if_connected ~log:mqi_debug_fun ()
 
 let xlinkns = Gdome.domString "http://www.w3.org/1999/xlink";;