change server.py port back to 9001