fix info-server.py