reformat webserver.py