Changed web.js so that web server listens on port 8080 instead