update web.js with new port number