diff options
Diffstat (limited to 'tex/context/base/luat-fio.lua')
| -rw-r--r-- | tex/context/base/luat-fio.lua | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/tex/context/base/luat-fio.lua b/tex/context/base/luat-fio.lua index dcc183167..d61c6f142 100644 --- a/tex/context/base/luat-fio.lua +++ b/tex/context/base/luat-fio.lua @@ -84,6 +84,26 @@ if not resolvers.instance then end +local report_system = logs.reporter("system","files") +local report_files = logs.reporter("used files") + +luatex.registerstopactions(function() + local foundintrees = resolvers.instance.foundintrees + if #foundintrees > 0 then + logs.pushtarget("logfile") + logs.newline() + report_system("start used files") + logs.newline() + for i=1,#foundintrees do + report_files("%4i: % T",i,foundintrees[i]) + end + logs.newline() + report_system("stop used files") + logs.newline() + logs.poptarget() + end +end) + statistics.register("resource resolver", function() local scandata = resolvers.scandata() return format("loadtime %s seconds, %s scans with scantime %s seconds, %s shared scans, %s found files, scanned paths: %s", |