summaryrefslogtreecommitdiff
path: root/src/fontloader/misc/fontloader-l-lua.lua
diff options
context:
space:
mode:
authorPhilipp Gesang <phg42.2a@gmail.com>2014-12-29 23:38:05 +0100
committerPhilipp Gesang <phg42.2a@gmail.com>2014-12-29 23:38:05 +0100
commit08e3b858401b56d97ff101295a3236fc8e0d47ef (patch)
treeb67456b1dbcefc44e1f3256afe3e492ecf736849 /src/fontloader/misc/fontloader-l-lua.lua
parent694b07871f9af14f2cde2c25b1ed5c5e996fae19 (diff)
downloadluaotfload-08e3b858401b56d97ff101295a3236fc8e0d47ef.tar.gz
[fontloader] sync with Context as of 2014-12-29
Diffstat (limited to 'src/fontloader/misc/fontloader-l-lua.lua')
-rw-r--r--src/fontloader/misc/fontloader-l-lua.lua11
1 files changed, 11 insertions, 0 deletions
diff --git a/src/fontloader/misc/fontloader-l-lua.lua b/src/fontloader/misc/fontloader-l-lua.lua
index 9565f48..1a2a987 100644
--- a/src/fontloader/misc/fontloader-l-lua.lua
+++ b/src/fontloader/misc/fontloader-l-lua.lua
@@ -165,3 +165,14 @@ end
if lua then
lua.mask = load([[τεχ = 1]]) and "utf" or "ascii"
end
+
+local flush = io.flush
+
+if flush then
+
+ local execute = os.execute if execute then function os.execute(...) flush() return execute(...) end end
+ local exec = os.exec if exec then function os.exec (...) flush() return exec (...) end end
+ local spawn = os.spawn if spawn then function os.spawn (...) flush() return spawn (...) end end
+ local popen = io.popen if popen then function io.popen (...) flush() return popen (...) end end
+
+end