From 1d224f3b98d9a2965014071ffa01d16e2497455d Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Tue, 24 Feb 2004 16:25:12 +0000 Subject: [PATCH] patched --- helm/mathql_test/mqgtop.ml | 4 ++-- helm/mathql_test/mqitop.ml | 4 +++- 2 files changed, 5 insertions(+), 3 deletions(-) diff --git a/helm/mathql_test/mqgtop.ml b/helm/mathql_test/mqgtop.ml index d478d59c3..600a92d31 100644 --- a/helm/mathql_test/mqgtop.ml +++ b/helm/mathql_test/mqgtop.ml @@ -57,8 +57,8 @@ module GU = MQGUtil module M = MQueryMisc let get_handle () = - C.init (C.flags_of_string ! int_options) - (fun s -> print_string s; flush stdout) + C.init ~flags:(C.flags_of_string ! int_options) + ~log:(fun s -> print_string s; flush stdout) () let issue handle q = let mode = [Open_wronly; Open_append; Open_creat; Open_text] in diff --git a/helm/mathql_test/mqitop.ml b/helm/mathql_test/mqitop.ml index 017247220..880d9605b 100644 --- a/helm/mathql_test/mqitop.ml +++ b/helm/mathql_test/mqitop.ml @@ -41,7 +41,9 @@ let _ = 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_if_connected (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; -- 2.39.2