diff options
Diffstat (limited to 'util/timer.lua')
| -rw-r--r-- | util/timer.lua | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/util/timer.lua b/util/timer.lua index 424d44fa..22f547df 100644 --- a/util/timer.lua +++ b/util/timer.lua @@ -10,7 +10,6 @@ local indexedbheap = require "util.indexedbheap"; local log = require "util.logger".init("timer"); local server = require "net.server"; local get_time = require "util.time".now -local async = require "util.async"; local type = type; local debug_traceback = debug.traceback; local tostring = tostring; @@ -104,16 +103,9 @@ local function reschedule(id, delay) return id; end -local function sleep(s) - local wait, done = async.waiter(); - add_task(s, done); - wait(); -end - return { add_task = add_task; stop = stop; reschedule = reschedule; - sleep = sleep; }; |