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... 66.135.52.17
Connecting to fedorahosted.org|66.135.52.17|: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,
Ricky