Modify web.js to listen on port 8080.