diff options
author | Marius <mariausol@gmail.com> | 2012-08-04 16:40:19 +0300 |
---|---|---|
committer | Marius <mariausol@gmail.com> | 2012-08-04 16:40:19 +0300 |
commit | fb43532b6f9ce833b23619edd9bc81a7a3f16212 (patch) | |
tree | d49c0ad79dc0d7244efdc603773184f660f2b767 /scripts/context/lua/mtx-watch.lua | |
parent | 2f920851e38f427bbafbf0ef895d43a0db48611f (diff) | |
download | context-fb43532b6f9ce833b23619edd9bc81a7a3f16212.tar.gz |
beta 2012.08.04 14:00
Diffstat (limited to 'scripts/context/lua/mtx-watch.lua')
-rw-r--r-- | scripts/context/lua/mtx-watch.lua | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/scripts/context/lua/mtx-watch.lua b/scripts/context/lua/mtx-watch.lua index 36a3176c4..31ed95f7b 100644 --- a/scripts/context/lua/mtx-watch.lua +++ b/scripts/context/lua/mtx-watch.lua @@ -227,17 +227,6 @@ 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() |