diff options
| author | Philipp Gesang <phg@phi-gamma.net> | 2016-04-06 23:45:24 +0200 |
|---|---|---|
| committer | Philipp Gesang <phg@phi-gamma.net> | 2016-04-06 23:45:24 +0200 |
| commit | 924a46e15e5296f930159534d8a4e1385114e0e0 (patch) | |
| tree | 678eb920c40cb2deacd92263dd90d1542226aafa /lualibs-trac-inf.lua | |
| parent | 9cd540ff33e3d707979ed445e17d059f7f7c743d (diff) | |
| download | lualibs-924a46e15e5296f930159534d8a4e1385114e0e0.tar.gz | |
sync with Context as of 2016-04-06
Diffstat (limited to 'lualibs-trac-inf.lua')
| -rw-r--r-- | lualibs-trac-inf.lua | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lualibs-trac-inf.lua b/lualibs-trac-inf.lua index 5497e54..f4c4e55 100644 --- a/lualibs-trac-inf.lua +++ b/lualibs-trac-inf.lua @@ -145,13 +145,13 @@ function statistics.show() -- so far -- collectgarbage("collect") register("lua properties",function() - local list = status.list() - local hashchar = tonumber(list.luatex_hashchars) + local hashchar = tonumber(status.luatex_hashchars) + local hashtype = status.luatex_hashtype local mask = lua.mask or "ascii" return format("engine: %s, used memory: %s, hash type: %s, hash chars: min(%s,40), symbol mask: %s (%s)", jit and "luajit" or "lua", statistics.memused(), - list.luatex_hashtype or "default", + hashtype or "default", hashchar and 2^hashchar or "unknown", mask, mask == "utf" and "τεχ" or "tex") |