diff options
| author | Philipp Gesang <phg42.2a@gmail.com> | 2013-04-24 14:31:15 +0200 |
|---|---|---|
| committer | Philipp Gesang <phg42.2a@gmail.com> | 2013-04-24 14:31:15 +0200 |
| commit | 190f5c79aab00c4bad2d6eede91fe1c34b3c8cab (patch) | |
| tree | 45c186907b0288c270f3623e0c7fd1e63a95dccd | |
| parent | eb297696edfc77eda080fc9db6bdbfc0b10f4874 (diff) | |
| download | luaotfload-190f5c79aab00c4bad2d6eede91fe1c34b3c8cab.tar.gz | |
add “both” directive for logger
| -rw-r--r-- | luaotfload-override.lua | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/luaotfload-override.lua b/luaotfload-override.lua index 94f2376..4953edf 100644 --- a/luaotfload-override.lua +++ b/luaotfload-override.lua @@ -72,6 +72,9 @@ logs.names_report = function (mode, lvl, ...) if loglevel > lvl then if mode == "log" then log (...) + elseif mode == "both" then + log (...) + stdout (...) else stdout (...) end |