On 2010-11-09 09:25:53 AM, Miroslav Suchý wrote:
On 11/09/2010 09:13 AM, Ricky Zhou wrote:
> wget -SO/dev/nullhttp://fedoraproject.org/
Did I say fedoraproject? I'm dumb, sorry. I meant fedorahosted.org
$ wget -SO/dev/null https://fedorahosted.org/
--2010-11-09 09:24:06-- https://fedorahosted.org/
Resolving fedorahosted.org... 184.108.40.206
Connecting to fedorahosted.org|220.127.116.11|:443...
Ah, that explains it. The
machine locked up for some reason, so we just
rebooted it, and it should be back.
Thanks for the report,