diff options
author | Context Git Mirror Bot <phg42.2a@gmail.com> | 2016-09-23 11:04:57 +0200 |
---|---|---|
committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2016-09-23 11:04:57 +0200 |
commit | 9858ddd23d54c56b2ce9e1f5580190d3210d18ed (patch) | |
tree | a73afdfc043fae5b69367c89ec2d7f3fa56a870f /tex/context/base/mkiv/luat-run.lua | |
parent | e713d5aa882024dc438506c2f75eae6c5021a237 (diff) | |
download | context-9858ddd23d54c56b2ce9e1f5580190d3210d18ed.tar.gz |
2016-09-23 10:19:00
Diffstat (limited to 'tex/context/base/mkiv/luat-run.lua')
-rw-r--r-- | tex/context/base/mkiv/luat-run.lua | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/tex/context/base/mkiv/luat-run.lua b/tex/context/base/mkiv/luat-run.lua index 8b498eda7..66925f19f 100644 --- a/tex/context/base/mkiv/luat-run.lua +++ b/tex/context/base/mkiv/luat-run.lua @@ -185,7 +185,8 @@ local function report_start(left,name) -- skip elseif left ~= 1 then if all then - report_load("%s > %s",types[left],name or "?") + -- report_load("%s > %s",types[left],name or "?") + report_load("type %a, name %a",types[left],name or "?") end elseif find(name,"virtual://") then insert(stack,false) @@ -193,7 +194,8 @@ local function report_start(left,name) insert(stack,name) total = total + 1 level = level + 1 - report_open("%i > %i > %s",level,total,name or "?") + -- report_open("%i > %i > %s",level,total,name or "?") + report_open("level %i, order %i, name %a",level,total,name or "?") end end @@ -201,7 +203,8 @@ local function report_stop(right) if level == 1 or not right or right == 1 then local name = remove(stack) if name then - report_close("%i > %i > %s",level,total,name or "?") + -- report_close("%i > %i > %s",level,total,name or "?") + report_close("level %i, order %i, name %a",level,total,name or "?") level = level - 1 end end |