[NTG-context] save runtime information

["Thomas A. Schmitz" <thomas.schmitz@uni-bonn.de>]

Hi,

a couple of years ago, I asked whether it was possible to typeset the 
information about runtime that I get at the end of the context run. Hans 
provided an answer 
(https://www.mail-archive.com/ntg-context@ntg.nl/msg90554.html):

> it's in the log file:
> 
> local data    = io.loaddata("oeps.log") or ""
> 
> local pattern = "> runtime: ([%d%.]+) seconds, ([%d]+) processed pages, ([%d]+) shipped pages, ([%d%.]+) pages/second"
> 
> 
> local r, n, s, p = string.match(data,pattern)
> 
> print(r,n,s,p)

The information I get this way is inaccurate. The runtime (in seconds) I 
see at the end of the run on the terminal:

5.635

vs. the value I get with the code:

0.660260200500488

I'm not sure whether something has changed with lmtx or if this was the 
case before (the log file is being written to during the run, so this 
may explain the difference?). So my question from then still stands: is 
it possible to extract the real runtime somehow? I would like to write 
it to a different file at the end of the run. What would be the best way 
to do this?

All best

Thomas


___________________________________________________________________________________
If your question is of interest to others as well, please add an entry to the Wiki!

maillist : ntg-context@ntg.nl / https://mailman.ntg.nl/mailman3/lists/ntg-context.ntg.nl
webpage  : https://www.pragma-ade.nl / https://context.aanhet.net (mirror)
archive  : https://github.com/contextgarden/context
wiki     : https://wiki.contextgarden.net
___________________________________________________________________________________