Update web.py

with the server code