# HG changeset patch
# User Kim Alvefur <zash@zash.se>
# Date 1357521643 -3600
# Node ID 2777f34adbd3a70c6b98c08f7aa761ada5c70f37
# Parent  676a1a032d2f3778162f59a6d9a086be43cc641e
net.server_select: Fix global access

diff -r 676a1a032d2f -r 2777f34adbd3 net/server_select.lua
--- a/net/server_select.lua	Mon Jan 07 02:17:07 2013 +0100
+++ b/net/server_select.lua	Mon Jan 07 02:20:43 2013 +0100
@@ -74,6 +74,7 @@
 local closeall
 local addsocket
 local addserver
+local addtimer
 local getserver
 local wrapserver
 local getsettings