On Wed, 2015-03-25 at 21:02 -0600, Kevin Fenzi wrote:
> This was most likely caused by some issues with out proxy servers this
> evening. We were adding 3 new proxy servers into the rotation and there
> were some config issues with some of them. ;(
>
> This would have only affected some folks in North America sporadically,
> (when they happened to hit a proxy that wasn't working right) not
> everyone.
>
> Sorry this happened, everything should be back to normal now.
I think it would make sense to do a second ping to some other server if
the first one to
fedoraproject.org fails, for robustness. Maybe to
redhat.com, or something that should never be down like
google.com (my
vote), or to someplace that promises not to track users, like
duckduckgo.com (hardly matters much for a connectivity check?).
We could always use the Google servers that Android uses by default,
instead of Fedora :) Those would be pretty well guaranteed to be up...
Dan