to add the server.py into the repo