2022-01-10 08:36:00

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
+}