Clean up ManagerServer.py