server.py documented