diff options
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") |