Change in server.py

So I can upload this to 5000 port.