diff options
author | Marius <mariausol@gmail.com> | 2013-01-21 20:00:26 +0200 |
---|---|---|
committer | Marius <mariausol@gmail.com> | 2013-01-21 20:00:26 +0200 |
commit | 4d27cc671b4add8a51b6e8196512625419b4080a (patch) | |
tree | 02971a0c04536e94f1512910401bcafa403e0f14 /tex/context/base/trac-inf.lua | |
parent | 3346c745a354c0726c1ec68fb1f2d04e5bc85a9b (diff) | |
download | context-4d27cc671b4add8a51b6e8196512625419b4080a.tar.gz |
beta 2013.01.21 18:18
Diffstat (limited to 'tex/context/base/trac-inf.lua')
-rw-r--r-- | tex/context/base/trac-inf.lua | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tex/context/base/trac-inf.lua b/tex/context/base/trac-inf.lua index 826271169..1d39f24a6 100644 --- a/tex/context/base/trac-inf.lua +++ b/tex/context/base/trac-inf.lua @@ -74,11 +74,11 @@ local function stoptiming(instance, report) end local function elapsed(instance) - if type(instance) == "table" then + if type(instance) == "number" then + return instance or 0 + else local timer = timers[instance or "notimer"] return timer and timer.loadtime or 0 - else - return tonumber(instance) or 0 end end |