Fix up server.py with python guidelines