# HG changeset patch
# User Matthew Wild <mwild1@gmail.com>
# Date 1262794583 0
# Node ID 0597c553acf200dcde38abb701b5f043066c8487
# Parent  affeb565b050219f23cb2e552d1c393f762ffa63
net.server_select: Allow setting the logger using server.setlogger

diff -r affeb565b050 -r 0597c553acf2 net/server_select.lua
--- a/net/server_select.lua	Mon Jan 04 17:32:26 2010 +0000
+++ b/net/server_select.lua	Wed Jan 06 16:16:23 2010 +0000
@@ -905,6 +905,14 @@
     end
 )
 
+local function set_logger(new_logger)
+	local old_logger = log;
+	if new_logger then
+		log = new_logger;
+	end
+	return old_logger;
+end
+
 ----------------------------------// PUBLIC INTERFACE //--
 
 return {
@@ -918,6 +926,7 @@
     addtimer = addtimer,
     addserver = addserver,
     getserver = getserver,
+    setlogger = setlogger,
     getsettings = getsettings,
     setquitting = setquitting,
     removeserver = removeserver,