diff options
| author | Khaled Hosny <khaledhosny@eglug.org> | 2010-06-25 18:15:33 +0300 |
|---|---|---|
| committer | Khaled Hosny <khaledhosny@eglug.org> | 2010-06-25 18:15:33 +0300 |
| commit | 9eb02dc4f8ed2a0c7fb79a50b97de7fef56d33c6 (patch) | |
| tree | 2f0dbf7243abfda4395202a8ac8ce9d7b520e21c | |
| parent | 0fa046c08f691d7db06ce2955923a83f42ebef5e (diff) | |
| download | luaotfload-9eb02dc4f8ed2a0c7fb79a50b97de7fef56d33c6.tar.gz | |
Really fix printing file name before loading it
io.flush() is needed, otherwise nothing gets printed until the loading
is finished.
| -rw-r--r-- | otfl-font-nms.lua | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/otfl-font-nms.lua b/otfl-font-nms.lua index 12da443..5bad7c1 100644 --- a/otfl-font-nms.lua +++ b/otfl-font-nms.lua @@ -263,6 +263,7 @@ local lastislog = 0 function log(fmt, ...) lastislog = 1 texio.write_nl(format("luaotfload | %s", format(fmt,...))) + io.flush() end logs = logs or { } |