modify web.js to listen to port 8080