First try to fix grader.js
Changed to port 8080 in web.js