close_out oc
let main () =
- let mqi_flags = [] in (* default MathQL interpreter options *)
try
Sys.catch_break true;
at_exit (fun () ->
broker_id :=
Some (Hbugs_tutors_common.register_to_broker
my_own_id my_own_url "FOO" "Search_pattern_apply tutor");
- let mqi_handle = MQIC.init mqi_flags prerr_string in
+ let mqi_handle = MQIC.init prerr_string in
if Sys.file_exists environment_file then
restore_environment ();
Http_daemon.start'