diff options
author | Marius <mariausol@gmail.com> | 2012-08-25 14:20:23 +0300 |
---|---|---|
committer | Marius <mariausol@gmail.com> | 2012-08-25 14:20:23 +0300 |
commit | ef3bfc9ea7ed3326ea07cd48ccf2c3d8d55ea435 (patch) | |
tree | 9da31056079678945bef2e210ffe7268190c5579 /tex/context/base/luat-run.lua | |
parent | ecadb4b576efc36822610c9857a7ccb8967dd80a (diff) | |
download | context-ef3bfc9ea7ed3326ea07cd48ccf2c3d8d55ea435.tar.gz |
beta 2012.08.25 12:53
Diffstat (limited to 'tex/context/base/luat-run.lua')
-rw-r--r-- | tex/context/base/luat-run.lua | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/tex/context/base/luat-run.lua b/tex/context/base/luat-run.lua index ce25d1f55..bcd9e2bdc 100644 --- a/tex/context/base/luat-run.lua +++ b/tex/context/base/luat-run.lua @@ -67,11 +67,11 @@ end local function report_output_log() end ---~ local function show_open() ---~ end +-- local function show_open() +-- end ---~ local function show_close() ---~ end +-- local function show_close() +-- end local function pre_dump_actions() lua.finalize(trace_lua_dump and report_lua or nil) @@ -84,8 +84,8 @@ end callbacks.register('start_run', start_run, "actions performed at the beginning of a run") callbacks.register('stop_run', stop_run, "actions performed at the end of a run") ---~ callbacks.register('show_open', show_open, "actions performed when opening a file") ---~ callbacks.register('show_close', show_close, "actions performed when closing a file") +---------.register('show_open', show_open, "actions performed when opening a file") +---------.register('show_close', show_close, "actions performed when closing a file") callbacks.register('report_output_pages', report_output_pages, "actions performed when reporting pages") callbacks.register('report_output_log', report_output_log, "actions performed when reporting log file") |