diff options
author | Marius <mariausol@gmail.com> | 2010-08-14 15:54:19 +0300 |
---|---|---|
committer | Marius <mariausol@gmail.com> | 2010-08-14 15:54:19 +0300 |
commit | 39e30629c15ae4a899532d84c4abea127f2847a6 (patch) | |
tree | ce9007341b23338cc6d73dad028f307c78dcb0ed /tex/context/base/luat-cod.lua | |
parent | 83a331fff83ac18314885a39e959ca0c10f316f7 (diff) | |
download | context-39e30629c15ae4a899532d84c4abea127f2847a6.tar.gz |
stable 2010.07.30 11:35
Diffstat (limited to 'tex/context/base/luat-cod.lua')
-rw-r--r-- | tex/context/base/luat-cod.lua | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/tex/context/base/luat-cod.lua b/tex/context/base/luat-cod.lua index 4a1a3d6f0..a5239e7ae 100644 --- a/tex/context/base/luat-cod.lua +++ b/tex/context/base/luat-cod.lua @@ -51,15 +51,19 @@ end local finalizers = { } -function lua.registerfinalizer(f) +function lua.registerfinalizer(f,comment) if type(f) == "function"then - finalizers[#finalizers+1] = f + finalizers[#finalizers+1] = { action = f, comment = comment } end end -function lua.finalize() +function lua.finalize(logger) for i=1,#finalizers do - finalizers[i]() + local finalizer = finalizers[i] + finalizer.action() + if logger then + logger("finalizing lua", "action: %s",finalizer.comment) + end end end |