bugfix in http server run