From 8e857efd2c61e8ffa4c991b5f1ddacfb4ebedc3c Mon Sep 17 00:00:00 2001 From: Hans Hagen Date: Mon, 10 Jan 2022 09:19:22 +0100 Subject: 2022-01-10 08:36:00 --- tex/context/base/mkxl/trac-deb.lmt | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) (limited to 'tex/context/base/mkxl/trac-deb.lmt') 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 +} -- cgit v1.2.3