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
pgpU9ke4Jt1py.pgp
Description: PGP signature
_______________________________________________ infrastructure mailing list [email protected] https://admin.fedoraproject.org/mailman/listinfo/infrastructure
