clean up server.py