half-way edit of server.py