diff options
| author | Marius <mariausol@gmail.com> | 2013-03-13 01:20:16 +0200 |
|---|---|---|
| committer | Marius <mariausol@gmail.com> | 2013-03-13 01:20:16 +0200 |
| commit | 4d6709d2eec4237345164c15be765be0669541d0 (patch) | |
| tree | 110053b7da1c5638de03d45cf2898ebdd49188e5 /tex/context/base/node-mig.lua | |
| parent | 1253a5723d8188696f9ab801b13ec84f16c6bf6f (diff) | |
| download | context-4d6709d2eec4237345164c15be765be0669541d0.tar.gz | |
beta 2013.03.13 00:08
Diffstat (limited to 'tex/context/base/node-mig.lua')
| -rw-r--r-- | tex/context/base/node-mig.lua | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tex/context/base/node-mig.lua b/tex/context/base/node-mig.lua index 14a9885ba..9fc35a048 100644 --- a/tex/context/base/node-mig.lua +++ b/tex/context/base/node-mig.lua @@ -68,7 +68,7 @@ function nodes.handlers.migrate(head,where) local done = false if head then if trace_migrations then - report_nodes("migration sweep '%s'",where) + report_nodes("migration sweep %a",where) end local current = head while current do @@ -90,7 +90,7 @@ function nodes.handlers.migrate(head,where) if first then t_inserts, t_marks = t_inserts + ni, t_marks + nm if trace_migrations and (ni > 0 or nm > 0) then - report_nodes("sweep %s, container %s, %s inserts and %s marks migrated outwards during '%s'", + report_nodes("sweep %a, container %a, %s inserts and %s marks migrated outwards during %a", t_sweeps,nodecodes[id],ni,nm,where) end -- inserts after head |