]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/searchEngine.ml
- mathql interpreter flags reorganized
[helm.git] / helm / searchEngine / searchEngine.ml
index 507dadb63d207546cd9cee1cabe272c315aab669..f3690204f2cee7218b9902a363e56ee5948cdc55 100644 (file)
@@ -610,7 +610,7 @@ printf "Current directory is %s\n" (Sys.getcwd ());
 printf "HTML directory is %s\n" pages_dir;
 flush stdout;
 Unix.putenv "http_proxy" "";
-let mqi_handle = C.init debug_print in
+let mqi_handle = C.init ~log:debug_print () in
 Http_daemon.start' ~port (callback mqi_handle);
 C.close mqi_handle;
 printf "%s is terminating, bye!\n" daemon_name