php download mirror it.php.net is gone

[davids@…]

All three php-5.3.0.tar.bz2 checksums seem to be incorrect. Port will not install.

[blb@…]

Try running

sudo port clean --all php5
sudo port selfupdate

then try again, there was a recent issue with downloading (ticket #20654).

[davids@…]

Turns out it was the same DNS resolving to search thing from the other ticket. Probably something that Port should try to take into account, but at least now I know what to look for. Thanks for pointing me in the right direction.

[ryandesign@…]

Also, there was #20672.

Which hostname did not resolve for you? If there is another dead server, we need to remove it from the list.

Enabling MacPorts to automatically detect this situation could possibly be done by checking if the downloaded file is HTML (or XHTML) and/or was served with the text/html (or application/xml or similar) content type. The problem is that this would have to be done in the fetch phase, before the checksum has been checked. That means you'd be preventing a port from legitimately downloading an HTML file, should such a situation be necessary. (I don't know if we have any such ports now.)

IMHO DNS providers that resolve nonexistent hostnames to a valid IP are broken and users should complain to their DNS providers about such broken behavior.

[davids@…]

I'm not sure what the domain was and it's up past the history limit of my console, but I'm pretty sure the subdomain was 'it'. I think it may have been it.php.net. I'm not sure if this was a valid domain at one time, but it doesn't resolve for me with a ping. It is listed in the mirror list on php.net, but the download works there. That doesn't really mean anything though as the link is simply labeled it.php.net, the actual request goes to a different domain with it.php.net as an argument so who knows where it's actually being directed.

Anyway hope that helps.

[ryandesign@…]

Thanks. I confirmed it.php.net isn't working and isn't listed on the ​list of mirrors. I replaced it with it2.php.net in r55615.