Update currency script for change to ftpmirror.gnu.org.

This commit is contained in:
Bruce Dubbs
2025-12-17 07:37:10 -06:00
parent 4d8e395f20
commit 34237996e9

View File

@@ -64,7 +64,7 @@ function find_even_max( $lines, $regex_match, $regex_replace )
function http_get_file( $url ) function http_get_file( $url )
{ {
$url = preg_replace( "/ftp.gnu.org/", "mirrors.ibiblio.org", $url ); $url = preg_replace( "/ftpmirror.gnu.org/", "mirrors.ibiblio.org/gnu", $url );
if ( preg_match( "/mpfr/", $url ) ) if ( preg_match( "/mpfr/", $url ) )
{ {