# HG changeset patch
# User Matthew Wild <mwild1@gmail.com>
# Date 1337735951 -3600
# Node ID c576d2175fa4f0db2cac18ca980feccda40d4a6e
# Parent  a7c799a7a34b231a85de8630d04ba88a92a4d114
net.server_select: Call ondisconnect handler, even if we closed the socket ourselves (fixes HTTP session hoarding, thanks Maranda)

diff -r a7c799a7a34b -r c576d2175fa4 net/server_select.lua
--- a/net/server_select.lua	Tue May 22 14:33:06 2012 +0100
+++ b/net/server_select.lua	Wed May 23 02:19:11 2012 +0100
@@ -350,7 +350,11 @@
 		if handler then
 			_writetimes[ handler ] = nil
 			_closelist[ handler ] = nil
+			local _handler = handler;
 			handler = nil
+			if disconnect then
+				disconnect(_handler, "closed");
+			end
 		end
 		if server then
 			server.remove( )