# HG changeset patch
# User Kim Alvefur <zash@zash.se>
# Date 1534110759 -7200
# Node ID 83e7ad5818d358f1f61d4ccd105c5aac71f6aeec
# Parent  1068f9b82e2b2ce2624380e9eab215a10d3f786d
util.async: Remove sleep function

Dependency on util.timer indirectly caused net.server to be initialized
before the config was read, so server_select was always chosen.

diff -r 1068f9b82e2b -r 83e7ad5818d3 util/async.lua
--- a/util/async.lua	Sun Aug 12 11:43:38 2018 +0100
+++ b/util/async.lua	Sun Aug 12 23:52:39 2018 +0200
@@ -1,6 +1,5 @@
 local logger = require "util.logger";
 local log = logger.init("util.async");
-local timer = require "util.timer";
 local new_id = require "util.id".short;
 
 local function checkthread()
@@ -246,16 +245,9 @@
 	return pcall(checkthread);
 end
 
-local function sleep(s)
-	local wait, done = waiter();
-	timer.add_task(s, done);
-	wait();
-end
-
 return {
 	ready = ready;
 	waiter = waiter;
 	guarder = guarder;
 	runner = runner;
-	sleep = sleep;
 };