modified web.js to support port 8080