Remove unnecessary TODO in server.py.