changed default port in web.js to 8080