# HG changeset patch
# User Matthew Wild <mwild1@gmail.com>
# Date 1258771148 0
# Node ID c69cb5c171e05e1d5d3b014ad213637063649b8f
# Parent  abfa1cc3a42fe10bd15dd6ecf679fa0e78125d55
net.server: New net.server to choose the appropriate library from server_select/server_event based on the availability of luaevent and the use_libevent config option

diff -r abfa1cc3a42f -r c69cb5c171e0 net/server.lua
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/net/server.lua	Sat Nov 21 02:39:08 2009 +0000
@@ -0,0 +1,21 @@
+local have_luaevent = pcall(require, "luaevent.core");
+local use_luaevent = require "core.configmanager".get("*", "core", "use_libevent");
+
+local server;
+
+if have_luaevent and use_luaevent == true then
+	server = require "net.server_event";
+	package.loaded["net.server"] = server;
+	
+	-- Backwards compatibility for timers, addtimer
+	-- called a function roughly every second
+	local add_task = require "util.timer";
+	function server.addtimer(f)
+		return add_task(1, function (...) f(...); return 1; end);
+	end
+else
+	server = require "net.server_select";
+	package.loaded["net.server"] = server;
+end
+
+return server;