Giel van Schijndel 7c49ed6628 Lobby utility library: ... * Create another custom context manager (can be used in with-statement) for creating a connection to a given (host, port): "connection" - Perform manual name-resolution, using each returned entry until one can be succesfully connected to (allows IPv4 + IPv6 through the same function) * Use this context manager instead of connecting manually git-svn-id: https://warzone2100.svn.sourceforge.net/svnroot/warzone2100/trunk@7305 4a71c877-e1ca-e34f-864e-861f7616d084		2009-05-06 22:29:38 +02:00
..
COPYING	New masterserver by Gerard and Kamaze	2007-04-21 14:20:20 +00:00
game.py	Lets not mark utility modules as executable	2009-05-06 22:29:34 +02:00
ircbot.py	* Make the lobby host and version configurable	2009-05-06 20:52:18 +02:00
protocol.py	Lobby utility library:	2009-05-06 22:29:38 +02:00
wzmasterserver.py	Revert r7276's accidental change to wzmasterserver.py	2009-05-06 22:29:34 +02:00
wztest.py	Lobby utility library:	2009-05-06 22:29:38 +02:00