diff options
author | Marius <mariausol@gmail.com> | 2011-02-09 16:40:14 +0200 |
---|---|---|
committer | Marius <mariausol@gmail.com> | 2011-02-09 16:40:14 +0200 |
commit | ed637df24cc8435fc78d30bc08c89f7db60b39c9 (patch) | |
tree | e7cf119063bef00fcd4c3193bb8f8440686bd581 /tex/generic | |
parent | 03766f7aaa5a741c5d52a1ee8201a887e594b350 (diff) | |
download | context-ed637df24cc8435fc78d30bc08c89f7db60b39c9.tar.gz |
beta 2011.02.09 15:29
Diffstat (limited to 'tex/generic')
-rw-r--r-- | tex/generic/context/luatex-fonts-merged.lua | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/tex/generic/context/luatex-fonts-merged.lua b/tex/generic/context/luatex-fonts-merged.lua index 7bfc0e069..9894895d6 100644 --- a/tex/generic/context/luatex-fonts-merged.lua +++ b/tex/generic/context/luatex-fonts-merged.lua @@ -1,6 +1,6 @@ -- merged file : luatex-fonts-merged.lua -- parent file : luatex-fonts.lua --- merge date : 02/08/11 21:46:05 +-- merge date : 02/09/11 15:29:45 do -- begin closure to overcome local limits and interference @@ -2370,6 +2370,7 @@ if not modules then modules = { } end modules ['luat-dum'] = { } local dummyfunction = function() end +local dummyreporter = function(c) return function(...) texio.write(c .. " : " .. string.format(...)) end end statistics = { register = dummyfunction, @@ -2397,9 +2398,9 @@ storage = { -- probably no longer needed shared = { }, } logs = { - new = function() return dummyfunction end, - reporter = function() return dummyfunction end, - messenger = function() return dummyfunction end, + new = dummyreporter, + reporter = dummyreporter, + messenger = dummyreporter, report = dummyfunction, } callbacks = { |