patched

[helm.git] / helm / mathql_test / mqitop.ml

diff --git a/helm/mathql_test/mqitop.ml b/helm/mathql_test/mqitop.ml
index 4d45740cf2a7c68acb80324b769e12d4c9f14f14..880d9605b3cb46288d6ec03dc77f1e631a2b794c 100644 (file)
--- a/helm/mathql_test/mqitop.ml
+++ b/helm/mathql_test/mqitop.ml
@@ -36,11 +36,14 @@ module C = MQIConn
 module F = MQueryIO
 
 let _ =
+   Helm_registry.load_from "/home/fguidi/miohelm/gTopLevel.conf.xml";
    let t = P.start_time () in
    let ich = Lexing.from_channel stdin in
    let flags = if Array.length Sys.argv >= 2 then Sys.argv.(1) else "" in
    let log s = print_string s; flush stdout in
-   let handle = C.init (C.flags_of_string flags) log in 
+   let handle = 
+      C.init_if_connected ~flags:(C.flags_of_string flags) ~log:log ()
+   in 
    if not (C.connected handle) then begin  
        print_endline "mqitop: no connection"; flush stdout
    end;