closing a server socket

[simon place]

Spent some very frustrating hours recoding to find a way of closing a server 
socket, i'd not thought it would be any problem,

however, after complete failure and as a last resort, i looked at the python 
wrapper module for sockets, and found that the close command doesn't actually 
call the underlying close! this didn't seem right, so i added it, and my code 
now works simply and as expected.


	def close(self):
         	self._sock.close()  # added 2003-oct-13
	        self._sock = _closedsocket()
		self.send = self.recv = self.sendto = self.recvfrom = 		self._sock._dummy
		close.__doc__ = _realsocket.close.__doc__



Probably only on win32, the comments in the socket module seem to indicate 
different codings on different platforms.





PythonWin 2.3.2 (#49, Oct  2 2003, 20:02:00) [MSC v.1200 32 bit (Intel)] on win32.