some changes to server.py