diff options
author | Hans Hagen <pragma@wxs.nl> | 2019-01-25 20:34:48 +0100 |
---|---|---|
committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2019-01-25 20:34:48 +0100 |
commit | 55575b7cad42dac55b4a5f699c33363489cb502d (patch) | |
tree | 90b2fd06d12f00dab66e28824744c345a7f6703a /tex/context/base/mkiv/trac-inf.lua | |
parent | 3861c9ef2ffeffe824f05a255534d61800e27e7a (diff) | |
download | context-55575b7cad42dac55b4a5f699c33363489cb502d.tar.gz |
2019-01-25 20:15:00
Diffstat (limited to 'tex/context/base/mkiv/trac-inf.lua')
-rw-r--r-- | tex/context/base/mkiv/trac-inf.lua | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/tex/context/base/mkiv/trac-inf.lua b/tex/context/base/mkiv/trac-inf.lua index 2c1dbbfe7..7a5c35fd5 100644 --- a/tex/context/base/mkiv/trac-inf.lua +++ b/tex/context/base/mkiv/trac-inf.lua @@ -265,11 +265,13 @@ function statistics.timed(action,all) stoptiming("run") local runtime = tonumber(elapsedtime("run")) if all then - local alltime = lua.getruntime and lua.getruntime() or elapsedtime(statistics) - report("total runtime: %0.3f seconds of %0.3f seconds",runtime,alltime) - else - report("total runtime: %0.3f seconds",runtime) + local alltime = tonumber(lua.getruntime and lua.getruntime() or elapsedtime(statistics)) + if alltime and alltime > 0 then + report("total runtime: %0.3f seconds of %0.3f seconds",runtime,alltime) + return + end end + report("total runtime: %0.3f seconds",runtime) end -- goodie |