diff options
Diffstat (limited to 'tex/context/base/mkxl/trac-deb.lmt')
-rw-r--r-- | tex/context/base/mkxl/trac-deb.lmt | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/tex/context/base/mkxl/trac-deb.lmt b/tex/context/base/mkxl/trac-deb.lmt index 195a7cb8e..f54e0605e 100644 --- a/tex/context/base/mkxl/trac-deb.lmt +++ b/tex/context/base/mkxl/trac-deb.lmt @@ -24,6 +24,7 @@ local implement = interfaces.implement local ioflush = io.flush local ioread = io.read +local ossleep = os.sleep local writenl = texio.writenl local write = texio.write @@ -418,3 +419,23 @@ directives.register("system.profile",function(n) logs.report("system","profiler started") debugger.enable() end) + +local report = logs.reporter("[[diagnostic]]") + +implement { + name = "diagnostic", + public = true, + -- protected = false, -- expandable + arguments = { "optional", "string" }, + actions = function(t,s) + t = tonumber(t) + if t then + report("%s (sleep: %.3N)",s,t) + ioflush() + ossleep(t) + else + report(s) + ioflush() + end + end +} |