Fix bug in server.py