diff options
Diffstat (limited to 'tex/context/base/trac-log.lua')
| -rw-r--r-- | tex/context/base/trac-log.lua | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/tex/context/base/trac-log.lua b/tex/context/base/trac-log.lua index a6d398bc3..fdc57eba1 100644 --- a/tex/context/base/trac-log.lua +++ b/tex/context/base/trac-log.lua @@ -50,6 +50,8 @@ if tex and tex.jobname or tex.formatname then local target = "term and log" + logs.flush = io.flush + local formats = { } setmetatable(formats, valueiskey) local translations = { } setmetatable(translations,valueiskey) @@ -128,6 +130,11 @@ if tex and tex.jobname or tex.formatname then settarget = function(whereto) target = targets[whereto or "both"] or targets.both + if target == "term" or target == "term and log" then + logs.flush = io.flush + else + logs.flush = ignore + end end local stack = { } @@ -153,6 +160,8 @@ if tex and tex.jobname or tex.formatname then else + logs.flush = ignore + writer = write_nl report = function(a,b,c,...) @@ -399,7 +408,7 @@ function logs.stop_page_number() else report_pages("flushing page") end - io.flush() + logs.flush() end logs.report_job_stat = statistics and statistics.showjobstat |