Opened 15 years ago
Closed 15 years ago
#20679 closed defect (fixed)
php download mirror it.php.net is gone
Reported by: | davids@… | Owned by: | ryandesign (Ryan Carsten Schmidt) |
---|---|---|---|
Priority: | Normal | Milestone: | |
Component: | ports | Version: | 1.7.1 |
Keywords: | checksum | Cc: | jyrkiwahlstedt |
Port: | php5, php4, php5extension |
Description
All three php-5.3.0.tar.bz2 checksums seem to be incorrect. Port will not install.
Change History (6)
comment:1 Changed 15 years ago by mf2k (Frank Schima)
Cc: | jwa@… added |
---|---|
Owner: | changed from macports-tickets@… to ryandesign@… |
comment:2 Changed 15 years ago by blb@…
comment:3 Changed 15 years ago by 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.
comment:4 Changed 15 years ago by ryandesign (Ryan Carsten Schmidt)
Status: | new → assigned |
---|
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.
comment:5 Changed 15 years ago by 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.
comment:6 Changed 15 years ago by ryandesign (Ryan Carsten Schmidt)
Port: | php4 php5extension added |
---|---|
Resolution: | → fixed |
Status: | assigned → closed |
Summary: | PHP5-5.3.0 Checksum issue → php download mirror it.php.net is gone |
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.
Try running
then try again, there was a recent issue with downloading (ticket #20654).