diff options
Diffstat (limited to 'scripts/context/lua/mtx-watch.lua')
| -rw-r--r-- | scripts/context/lua/mtx-watch.lua | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/scripts/context/lua/mtx-watch.lua b/scripts/context/lua/mtx-watch.lua index 31ed95f7b..36a3176c4 100644 --- a/scripts/context/lua/mtx-watch.lua +++ b/scripts/context/lua/mtx-watch.lua @@ -227,6 +227,17 @@ function scripts.watch.watch() end end local n, start = 0, time() +--~ local function wait() +--~ io.flush() +--~ if not done then +--~ n = n + 1 +--~ if n >= 10 then +--~ report("run time: %i seconds, memory usage: %0.3g MB", difftime(time(),start), (status.luastate_bytes/1024)/1000) +--~ n = 0 +--~ end +--~ os.sleep(delay) +--~ end +--~ end local wtime = 0 local function wait() io.flush() |