Set port to 8080 in web.js