modify web.js to listen to 8080