fix bug in http-server.js