# HG changeset patch
# User Matthew Wild <mwild1@gmail.com>
# Date 1335278555 -3600
# Node ID 80f2d952d4c5300aaa131b24d7ca08509e6a8d7c
# Parent  f44726a910a0d2079869e3670a558c47c2b172c4
net.server_select: Remove server from _server table when closing

diff -r f44726a910a0 -r 80f2d952d4c5 net/server_select.lua
--- a/net/server_select.lua	Tue Apr 24 15:40:00 2012 +0100
+++ b/net/server_select.lua	Tue Apr 24 15:42:35 2012 +0100
@@ -202,6 +202,7 @@
 		socket:close( )
 		_sendlistlen = removesocket( _sendlist, socket, _sendlistlen )
 		_readlistlen = removesocket( _readlist, socket, _readlistlen )
+		_server[ip..":"..serverport] = nil;
 		_socketlist[ socket ] = nil
 		handler = nil
 		socket = nil