diff options
| author | Hans Hagen <pragma@wxs.nl> | 2018-10-02 23:41:59 +0200 |
|---|---|---|
| committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2018-10-02 23:41:59 +0200 |
| commit | 551c89289d267c2d8901f3375e57ed1fe2508de5 (patch) | |
| tree | 937be4d873b1762d93fcce75ecca3cfea07b2ca4 /tex/context/base/mkiv/trac-inf.lua | |
| parent | e3ad6b783e6162de6dad5531299e69c3d3079b9c (diff) | |
| download | context-551c89289d267c2d8901f3375e57ed1fe2508de5.tar.gz | |
2018-10-02 23:25:00
Diffstat (limited to 'tex/context/base/mkiv/trac-inf.lua')
| -rw-r--r-- | tex/context/base/mkiv/trac-inf.lua | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/tex/context/base/mkiv/trac-inf.lua b/tex/context/base/mkiv/trac-inf.lua index 51893d585..6c08f34f6 100644 --- a/tex/context/base/mkiv/trac-inf.lua +++ b/tex/context/base/mkiv/trac-inf.lua @@ -82,9 +82,13 @@ local seconds = function(n) return n or 0 end -- -- end -local function starttiming(instance) +local function starttiming(instance,reset) local timer = timers[instance or "notimer"] local it = timer.timing + if reset then + it = 0 + timer.loadtime = 0 + end if it == 0 then timer.starttime = ticks() if not timer.loadtime then |