[tor-commits] [tor/master] We now warn the user if a proxy server is not up when we try to connect with it.