From 017cd0cdd6a0bde85c25b230ffb8796d08ffc434 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Thu, 9 Sep 2004 16:36:46 +0000 Subject: [PATCH] now should run also when the db is down (untested) (the -nodb option is still unimplemented) --- helm/gTopLevel/gTopLevel.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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";; -- 2.39.2