summaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
authorMarius <mariausol@gmail.com>2011-02-11 13:40:18 +0200
committerMarius <mariausol@gmail.com>2011-02-11 13:40:18 +0200
commitab6d8e11ebd76ab61d2b451d1c8c7be0a7ccf4bc (patch)
tree0df795b7ac40a06a7c6e825a28346c72b4dddd73 /scripts
parent50888f059727e2f5857de552691eadce571db57f (diff)
downloadcontext-ab6d8e11ebd76ab61d2b451d1c8c7be0a7ccf4bc.tar.gz
beta 2011.02.11 12:23
Diffstat (limited to 'scripts')
-rw-r--r--scripts/context/lua/mtxrun.lua11
-rw-r--r--scripts/context/stubs/mswin/mtxrun.lua11
-rw-r--r--scripts/context/stubs/unix/mtxrun11
3 files changed, 30 insertions, 3 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
diff --git a/scripts/context/stubs/mswin/mtxrun.lua b/scripts/context/stubs/mswin/mtxrun.lua
index 5b4fcda8e..6d901c197 100644
--- a/scripts/context/stubs/mswin/mtxrun.lua
+++ b/scripts/context/stubs/mswin/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
diff --git a/scripts/context/stubs/unix/mtxrun b/scripts/context/stubs/unix/mtxrun
index 5b4fcda8e..6d901c197 100644
--- a/scripts/context/stubs/unix/mtxrun
+++ b/scripts/context/stubs/unix/mtxrun
@@ -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