Change the logging infrastructure:

[SXSI/xpathcomp.git] / include / log.ml

diff --git a/include/log.ml b/include/log.ml
index b9ad225..3180901 100644 (file)
--- a/include/log.ml
+++ b/include/log.ml
@@ -1,24 +1,17 @@
 IFNDEF LOG__ML__
 THEN
 DEFINE LOG__ML__
-let __ x =
-  ignore (Format.flush_str_formatter());
-  Format.kfprintf
-    (fun _ -> Format.flush_str_formatter())
-    Format.str_formatter x
-;;
+let __ x = Logger.log x
+(*  Format.fprintf !Logger.logger_output x *)
+;; 
 IFNDEF NLOG
 THEN
 
-DEFINE LOG(t, l, r) =
-  (let __log__t = t in
-   let __log__l = l in
-   if __log__l <= Logger.level __log__t then
-     Logger.log __log__t __log__l (r))
+DEFINE LOG(e) = (e)
 
 ELSE
 
-DEFINE LOG(t, l, r) = ()
+DEFINE LOG(e) = ()
 
 END