diff options
author | Philipp Gesang <phg42.2a@gmail.com> | 2013-11-03 17:00:02 +0100 |
---|---|---|
committer | Philipp Gesang <phg42.2a@gmail.com> | 2013-11-03 17:00:02 +0100 |
commit | d1e0649cae217b9c086bc6a14652cd70deccfb6e (patch) | |
tree | 29e6df2ca3165c775388a30cfdc0febf6c8e3058 | |
parent | a18a6adc30dfd5a235017772b8b290c6cee71dca (diff) | |
download | luaotfload-d1e0649cae217b9c086bc6a14652cd70deccfb6e.tar.gz |
[log] use Lua io.* instead of texio.* when writing to terminal
-rw-r--r-- | luaotfload-override.lua | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/luaotfload-override.lua b/luaotfload-override.lua index 368a3d1..21fc0bb 100644 --- a/luaotfload-override.lua +++ b/luaotfload-override.lua @@ -171,15 +171,14 @@ local kill_line = "\r\x1b[K" if texjob == true then writeln = function (str) - texiowrite_nl ("term", str) + iowrite "\n" + iowrite(str) end statusln = function (str) if first_status == false then - texiowrite ("term", kill_line) - texiowrite ("term", str) - else - texiowrite_nl ("term", str) + iowrite (kill_line) end + iowrite (str) end else writeln = function (str) |