redis and http_server