Buggfix in camp/SocketServer.py