change web.js to use port 8080