Change default port in web.js