diff options
| author | Hans Hagen <pragma@wxs.nl> | 2013-04-14 16:51:00 +0200 |
|---|---|---|
| committer | Hans Hagen <pragma@wxs.nl> | 2013-04-14 16:51:00 +0200 |
| commit | 9e577b0142eb934ef24eedbd16c73a7addff109d (patch) | |
| tree | c99df6e61f8c48a791108a168e97d830b002b6bd /tex/context/base/trac-inf.lua | |
| parent | 5b2b3fefb3c4c8e438e4b413e89dd355ce3d7743 (diff) | |
| download | context-9e577b0142eb934ef24eedbd16c73a7addff109d.tar.gz | |
beta 2013.04.14 16:51
Diffstat (limited to 'tex/context/base/trac-inf.lua')
| -rw-r--r-- | tex/context/base/trac-inf.lua | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/tex/context/base/trac-inf.lua b/tex/context/base/trac-inf.lua index fdc07d97d..eefc15a6f 100644 --- a/tex/context/base/trac-inf.lua +++ b/tex/context/base/trac-inf.lua @@ -50,7 +50,7 @@ local function starttiming(instance) timer.timing = it + 1 end -local function stoptiming(instance, report) +local function stoptiming(instance) local timer = timers[instance or "notimer"] local it = timer.timing if it > 1 then @@ -62,9 +62,6 @@ local function stoptiming(instance, report) local loadtime = stoptime - starttime timer.stoptime = stoptime timer.loadtime = timer.loadtime + loadtime - if report then - statistics.report("load time %0.3f",loadtime) - end timer.timing = 0 return loadtime end |