prosody
changeset 6924 45fa2e554c79
parent 6811 f076dac78155
child 6988 a2e1f5ebdb53
--- a/prosody	Mon Nov 09 13:40:06 2015 +0100
+++ b/prosody	Mon Nov 16 15:24:36 2015 +0100
@@ -372,8 +372,10 @@
 		prosody.events.fire_event("very-bad-error", {error = err, traceback = traceback});
 	end
 	
+	local sleep = require"socket".sleep;
+
 	while select(2, xpcall(server.loop, catch_uncaught_error)) ~= "quitting" do
-		socket.sleep(0.2);
+		sleep(0.2);
 	end
 end