projects
/
SXSI
/
xpathcomp.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Remove non-reentrant timing function.
[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__
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
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
ELSE
-DEFINE LOG(
t, l, r
) = ()
+DEFINE LOG(
e
) = ()
END
END