diff options
Diffstat (limited to 'tex/context/base/mkiv/util-lua.lua')
-rw-r--r-- | tex/context/base/mkiv/util-lua.lua | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/tex/context/base/mkiv/util-lua.lua b/tex/context/base/mkiv/util-lua.lua index e1dcdc94d..d4020a1e9 100644 --- a/tex/context/base/mkiv/util-lua.lua +++ b/tex/context/base/mkiv/util-lua.lua @@ -158,3 +158,15 @@ end -- luautilities.registerdatatype(lpeg.P("!"),"lpeg") -- -- print(luautilities.datatype(lpeg.P("oeps"))) + +-- local finalizers = { } +-- +-- function luautilities.registerfinalizer(f) +-- finalizers[#finalizers+1] = f +-- end +-- +-- function luautilities.finalize() +-- for i=1,#finalizers do +-- pcall(finalizers[i]) +-- end +-- end |