Download sources from servers that don't respond to ping

[Jann Röšder]

It was the eiffelstudio65 port, I now added another source which does
respond to ping requests - problem "solved". The n.ethz.ch server (which
is not pingable) is still included in the source list.

Ryan Schmidt schrieb:
> 
> On Oct 3, 2009, at 18:27, Jann Röšder wrote:
> 
>> I have seen an instance where the macports mirror servers were tried
>> which did not have the file. The server specified in the port file was
>> not tried at all. For some reason even though the macports mirror
>> servers didn't have the file a file with size 0 was created, thus
>> leading to a hash mismatch.
>>
>> Obviously this behavior is not good
> 
> I agree, that doesn't sound good. What port was this?
>