diff options
| author | Marius <mariausol@gmail.com> | 2013-04-14 18:00:22 +0300 |
|---|---|---|
| committer | Marius <mariausol@gmail.com> | 2013-04-14 18:00:22 +0300 |
| commit | f9e6297b56352c1e9035ebff52be3628f5aa730e (patch) | |
| tree | d93cdaacd20755044eedf91d70412ae42e3cef14 /tex/context/base/trac-inf.lua | |
| parent | f6ff9314919dcb50694d981613611e3ded95872d (diff) | |
| download | context-f9e6297b56352c1e9035ebff52be3628f5aa730e.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 |