diff options
| author | Marius <mariausol@gmail.com> | 2011-06-23 20:40:17 +0300 |
|---|---|---|
| committer | Marius <mariausol@gmail.com> | 2011-06-23 20:40:17 +0300 |
| commit | 1f49aee839e281d04be7b6cb6f959590bed1d581 (patch) | |
| tree | ecca5409a1481e7f99dc407735bb76730e7aff2d /tex/context/base/luat-fio.lua | |
| parent | 06465c8428905be5c083c70f4e7de6a59d129139 (diff) | |
| download | context-1f49aee839e281d04be7b6cb6f959590bed1d581.tar.gz | |
beta 2011.06.23 19:25
Diffstat (limited to 'tex/context/base/luat-fio.lua')
| -rw-r--r-- | tex/context/base/luat-fio.lua | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/tex/context/base/luat-fio.lua b/tex/context/base/luat-fio.lua index b7144c343..1edbc2ef8 100644 --- a/tex/context/base/luat-fio.lua +++ b/tex/context/base/luat-fio.lua @@ -83,6 +83,10 @@ if not resolvers.instance then end -statistics.register("input load time", function() - return format("%s seconds", statistics.elapsedtime(resolvers.instance)) +statistics.register("resource resolver", function() + if resolvers.scantime then + return format("loadtime %s seconds, scantime %s seconds", resolvers.loadtime(), resolvers.scantime()) + else + return format("loadtime %s seconds", resolvers.loadtime()) + end end) |