Re: [PATCH] Print a more friendly message when http_proxy is down.