Edited web.js to change port to 8080