diff options
author | Philipp Gesang <phg@phi-gamma.net> | 2015-11-29 22:35:33 +0100 |
---|---|---|
committer | Philipp Gesang <phg@phi-gamma.net> | 2015-11-29 22:35:33 +0100 |
commit | c27353ac580901c2afe392a473b2cc53ffcf394e (patch) | |
tree | f4ec46bc52c6645fa7c14450cc7b7f474cadefec | |
parent | e8c12e905db79d0a7cc716ae6d6d02663cbd085e (diff) | |
download | luaotfload-c27353ac580901c2afe392a473b2cc53ffcf394e.tar.gz |
[main] refine very early logging
This kludge dumps the input arguments on one line each -- fix this by
defining a dumb imitation of our real logger that is installed later on.
-rw-r--r-- | src/luaotfload-main.lua | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/luaotfload-main.lua b/src/luaotfload-main.lua index 6fe49e2..dd94b1e 100644 --- a/src/luaotfload-main.lua +++ b/src/luaotfload-main.lua @@ -98,7 +98,13 @@ end local make_loader_name = function (prefix, name) local msg = luaotfload.log and luaotfload.log.report - or function (...) texio.write_nl ("log", ...) end + or function (stream, lvl, cat, ...) + if lvl > 1 then --[[not pressing]] return end + texio.write_nl ("log", + string.format ("luaotfload | %s : ", + tostring (cat))) + texio.write (string.format (...)) + end if not name then msg ("both", 0, "load", "Fatal error: make_loader_name (ā%sā, ā%sā).", |