Update tokenserver.py