diff options
author | Context Git Mirror Bot <phg42.2a@gmail.com> | 2016-09-01 20:11:41 +0200 |
---|---|---|
committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2016-09-01 20:11:41 +0200 |
commit | 7a738fba4cc14b31b0d9a3a88258e76de34ea1fb (patch) | |
tree | 5b4195a92400965fd8510c1695845932c01f5678 /tex/context/base/mkiv/util-lua.lua | |
parent | ad968343b10553bbf9d34e14e00a756576d5758e (diff) | |
download | context-7a738fba4cc14b31b0d9a3a88258e76de34ea1fb.tar.gz |
2016-09-01 19:38:00
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 |