mirror of
https://github.com/kalmarek/PropertyT.jl.git
synced 2024-11-29 17:50:27 +01:00
fix logtime macro
This commit is contained in:
parent
3066046fdb
commit
7ac194f98a
@ -38,7 +38,7 @@ macro logtime(logger, ex)
|
|||||||
local diff = Base.GC_Diff(Base.gc_num(), stats)
|
local diff = Base.GC_Diff(Base.gc_num(), stats)
|
||||||
local ts = time_string(elapsedtime, diff.allocd, diff.total_time,
|
local ts = time_string(elapsedtime, diff.allocd, diff.total_time,
|
||||||
Base.gc_alloc_count(diff))
|
Base.gc_alloc_count(diff))
|
||||||
esc(info(logger, ts))
|
$(esc(info))($(esc(logger)), ts)
|
||||||
val
|
val
|
||||||
end
|
end
|
||||||
end
|
end
|
||||||
|
Loading…
Reference in New Issue
Block a user