diff options
| author | Marius <mariausol@gmail.com> | 2012-10-19 01:20:13 +0300 |
|---|---|---|
| committer | Marius <mariausol@gmail.com> | 2012-10-19 01:20:13 +0300 |
| commit | 69d2352af4b60929b37fc49f3bdb263977016244 (patch) | |
| tree | db5eb11398e345dfa23b4c4500fb93575d2afb7c /scripts/context/lua/mtx-watch.lua | |
| parent | c18f7cbe51449a611ea1819fedd9a4ff18529b7d (diff) | |
| download | context-69d2352af4b60929b37fc49f3bdb263977016244.tar.gz | |
stable 2012.05.30 11:26
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() |