web.js: port modification