fix up webserver.js script