summaryrefslogtreecommitdiff
path: root/lualibs-trac-inf.lua
diff options
context:
space:
mode:
authorPhilipp Gesang <phg42.2a@gmail.com>2014-02-14 18:28:31 +0100
committerPhilipp Gesang <phg42.2a@gmail.com>2014-02-14 18:28:31 +0100
commit5ed9c2a6d45121bdeacdf1c8f4dead50374f0899 (patch)
tree0e2bbc4ecd17b275133bb89340bbc4218a604b67 /lualibs-trac-inf.lua
parent43ffeea64e686e25807959575d07162bc8bb02b6 (diff)
downloadlualibs-5ed9c2a6d45121bdeacdf1c8f4dead50374f0899.tar.gz
sync with Context as of 2014-02-14
Diffstat (limited to 'lualibs-trac-inf.lua')
-rw-r--r--lualibs-trac-inf.lua5
1 files changed, 4 insertions, 1 deletions
diff --git a/lualibs-trac-inf.lua b/lualibs-trac-inf.lua
index 802f2e6..067cff2 100644
--- a/lualibs-trac-inf.lua
+++ b/lualibs-trac-inf.lua
@@ -123,7 +123,10 @@ function statistics.show()
-- this code will move
local register = statistics.register
register("used platform", function()
- return format("%s, type: %s, binary subtree: %s",os.platform or "unknown",os.type or "unknown", environment.texos or "unknown")
+ local mask = lua.mask or "ascii"
+ return format("%s, type: %s, binary subtree: %s, symbol mask: %s (%s)",
+ os.platform or "unknown",os.type or "unknown", environment.texos or "unknown",
+ mask,mask == "utf" and "τεχ" or "tex")
end)
register("luatex banner", function()
return lower(status.banner)