modified web.js to allow debugging on port 8080