fixes to server.py