Extra line after server.main in launcher.py not sent to client.