# HG changeset patch
# User Matthew Wild <mwild1@gmail.com>
# Date 1336067616 -3600
# Node ID 1d1fdfa29f062739cbb7e2659c227abaee9caf4d
# Parent  3bf0100d7303d0bdc41aa675f2ba9842a0293631
net.server: server_select != server_event (thanks Nulani, Florob)

diff -r 3bf0100d7303 -r 1d1fdfa29f06 net/server.lua
--- a/net/server.lua	Thu May 03 16:52:04 2012 +0100
+++ b/net/server.lua	Thu May 03 18:53:36 2012 +0100
@@ -18,7 +18,7 @@
 local server;
 
 if use_luaevent then
-	server = require "net.server_select";
+	server = require "net.server_event";
 
 	-- Overwrite signal.signal() because we need to ask libevent to
 	-- handle them instead