diff options
Diffstat (limited to 'tex/context/base/mkiv/util-deb.lua')
-rw-r--r-- | tex/context/base/mkiv/util-deb.lua | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/tex/context/base/mkiv/util-deb.lua b/tex/context/base/mkiv/util-deb.lua index f396fcf7a..6932e8804 100644 --- a/tex/context/base/mkiv/util-deb.lua +++ b/tex/context/base/mkiv/util-deb.lua @@ -106,6 +106,9 @@ setmetatableindex(names,function(t,name) return v end) +local getinfo = nil +local sethook = nil + local function hook(where) local f = getinfo(2,"nSl") if f then @@ -237,9 +240,6 @@ function debugger.showstats(printer,threshold) -- table.save("luatex-profile.lua",names) end -local getinfo = nil -local sethook = nil - local function getdebug() if sethook and getinfo then return @@ -261,7 +261,6 @@ local function getdebug() end end - function debugger.savestats(filename,threshold) local f = io.open(filename,'w') if f then |