diff options
author | Marius <mariausol@gmail.com> | 2011-02-11 13:40:18 +0200 |
---|---|---|
committer | Marius <mariausol@gmail.com> | 2011-02-11 13:40:18 +0200 |
commit | ab6d8e11ebd76ab61d2b451d1c8c7be0a7ccf4bc (patch) | |
tree | 0df795b7ac40a06a7c6e825a28346c72b4dddd73 /scripts/context/lua/mtxrun.lua | |
parent | 50888f059727e2f5857de552691eadce571db57f (diff) | |
download | context-ab6d8e11ebd76ab61d2b451d1c8c7be0a7ccf4bc.tar.gz |
beta 2011.02.11 12:23
Diffstat (limited to 'scripts/context/lua/mtxrun.lua')
-rw-r--r-- | scripts/context/lua/mtxrun.lua | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/scripts/context/lua/mtxrun.lua b/scripts/context/lua/mtxrun.lua index 5b4fcda8e..6d901c197 100644 --- a/scripts/context/lua/mtxrun.lua +++ b/scripts/context/lua/mtxrun.lua @@ -5025,6 +5025,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) @@ -5103,6 +5105,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 = { } @@ -5128,6 +5135,8 @@ if tex and tex.jobname or tex.formatname then else + logs.flush = ignore + writer = write_nl report = function(a,b,c,...) @@ -5374,7 +5383,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 |