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 /src | |
| 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.
Diffstat (limited to 'src')
| -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ā).",  | 
