diff options
author | Philipp Gesang <phg42.2a@gmail.com> | 2015-03-18 08:08:59 +0100 |
---|---|---|
committer | Philipp Gesang <phg42.2a@gmail.com> | 2015-03-18 08:08:59 +0100 |
commit | c4c4901173b0f4284534db1b6a3cfe865b05e15c (patch) | |
tree | f27d1546977bae78b33180192cc80eecc568bf4c /src/fontloader/misc/fontloader-l-lua.lua | |
parent | b966e35c9df3cca2a25baaf68574d0b8d94eef39 (diff) | |
parent | f5dd1ec3517cda47e5a48221d4ff5cfced12ea06 (diff) | |
download | luaotfload-c4c4901173b0f4284534db1b6a3cfe865b05e15c.tar.gz |
Merge pull request #266 from phi-gamma/master
fontloader fallback
Diffstat (limited to 'src/fontloader/misc/fontloader-l-lua.lua')
-rw-r--r-- | src/fontloader/misc/fontloader-l-lua.lua | 11 |
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 |