fix bug in http-server