diff options
author | Hans Hagen <pragma@wxs.nl> | 2018-12-07 20:44:55 +0100 |
---|---|---|
committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2018-12-07 20:44:55 +0100 |
commit | 5bb786877a5617fb8fbe3fd0e7b54fbcea3ce002 (patch) | |
tree | eb0b52ddfc64af42d0fe6ae78a85e4673c4a1ab0 /tex/context/base/mkiv/util-deb.lua | |
parent | 6953b7c4b4c40fab660992622a6fd140fa310b34 (diff) | |
download | context-5bb786877a5617fb8fbe3fd0e7b54fbcea3ce002.tar.gz |
2018-12-07 19:45:00
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 |