diff options
author | Elie Roux <elie.roux@telecom-bretagne.eu> | 2013-04-27 03:08:43 -0700 |
---|---|---|
committer | Elie Roux <elie.roux@telecom-bretagne.eu> | 2013-04-27 03:08:43 -0700 |
commit | 7a7a17242c20dfd54dfce2e5ead889f62c66d61f (patch) | |
tree | 942ffddaa830a52504831526512ce48ddb5ab83d /luaotfload-override.lua | |
parent | f3776cb0941e417f8aa2efe46773cc7330506387 (diff) | |
parent | e6b0062da9c8315605e9c8a10202337416ea5cd5 (diff) | |
download | luaotfload-7a7a17242c20dfd54dfce2e5ead889f62c66d61f.tar.gz |
Merge pull request #11 from lualatex/master
update with lualatex master
Diffstat (limited to 'luaotfload-override.lua')
-rw-r--r-- | luaotfload-override.lua | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/luaotfload-override.lua b/luaotfload-override.lua index 94f2376..726000d 100644 --- a/luaotfload-override.lua +++ b/luaotfload-override.lua @@ -69,9 +69,12 @@ logs.names_report = function (mode, lvl, ...) end if not lvl then lvl = 0 end - if loglevel > lvl then + if loglevel >= lvl then if mode == "log" then log (...) + elseif mode == "both" then + log (...) + stdout (...) else stdout (...) end |