# HG changeset patch
# User Waqas Hussain <waqas20@gmail.com>
# Date 1291313190 -18000
# Node ID 2e3f91cd170b6f94db1065ab27ee7f6c46aebd36
# Parent  90a82720d504c5c0bd08ccc0021aae6ae841f51e
net.server_select: Made another global local.

diff -r 90a82720d504 -r 2e3f91cd170b 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