patched

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

diff --git a/helm/mathql_test/mqitop.ml b/helm/mathql_test/mqitop.ml
index 7dd43888c0eb4165501fee6d532e81c55272097a..aca13b9cb5cf0522bd086fb45db8fcfd34f81d93 100644 (file)
--- a/helm/mathql_test/mqitop.ml
+++ b/helm/mathql_test/mqitop.ml
@@ -29,6 +29,7 @@
 module U = MQueryUtil
 module I = MQueryInterpreter
 module C = MQIConn
+module F = MQueryIO
 
 let _ =
    let t = U.start_time () in
@@ -41,12 +42,12 @@ let _ =
    end;
    let rec aux () =
       let t = U.start_time () in
-      let r = I.execute handle (U.query_of_text ich) in
-(*    U.text_of_result log r "\n";
-*)    Printf.printf "mqitop: query: %s,%i\n" (U.stop_time t) (List.length r);
-      flush stdout; aux()
+      let r = I.execute handle (F.query_of_text ich) in
+(*    F.text_of_result log r "\n";
+*)    Printf.eprintf "mqitop: query: %s,%i\n" (U.stop_time t) (List.length r);
+      flush stderr; aux()
       
    in
    begin try aux() with End_of_file -> () end;
    C.close handle;
-   Printf.printf "mqitop: done: %s\n" (U.stop_time t)
+   Printf.eprintf "mqitop: done: %s\n" (U.stop_time t)