diff options
| author | Will Robertson <wspr81@gmail.com> | 2010-06-02 16:48:03 +0930 |
|---|---|---|
| committer | Will Robertson <wspr81@gmail.com> | 2010-06-05 16:27:34 +0930 |
| commit | cf7388ed0f408fdeb219ff924e8b6191784f412b (patch) | |
| tree | 42958fecb63ebc6d7975aca0f4fb846c3ff618ad /otfl-luat-ovr.lua | |
| parent | 075ef195bf5c129ea9d7006e29d035a749f8fec1 (diff) | |
| download | luaotfload-cf7388ed0f408fdeb219ff924e8b6191784f412b.tar.gz | |
be more verbose when updating the font database
(so users know what's taking so long)
Diffstat (limited to 'otfl-luat-ovr.lua')
| -rw-r--r-- | otfl-luat-ovr.lua | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/otfl-luat-ovr.lua b/otfl-luat-ovr.lua index 20d2b73..7bac97d 100644 --- a/otfl-luat-ovr.lua +++ b/otfl-luat-ovr.lua @@ -32,6 +32,7 @@ function logs.info(category,fmt,...) else write_nl(format("%s |",name)) end + io.flush() end function logs.simple(fmt,...) |