# HG changeset patch
# User Waqas Hussain <waqas20@gmail.com>
# Date 1291313190 -18000
# Node ID 27d3e2a2a248e8c26f7ff3077a466ce37eed8756
# Parent  63efe4eefa07200aac54caf37f47f0623cc9c6cf
net.server_select: Made another global local.

diff -r 63efe4eefa07 -r 27d3e2a2a248 net/server_select.lua
--- a/net/server_select.lua	Thu Dec 02 22:55:42 2010 +0500
+++ b/net/server_select.lua	Thu Dec 02 23:06:30 2010 +0500
@@ -77,6 +77,7 @@
 local idfalse
 local addtimer
 local closeall
+local addsocket
 local addserver
 local getserver
 local wrapserver