small changes to server.py
merged nothing