From 9de91f78221da0f8000cf694a2884b21b4becd13 Mon Sep 17 00:00:00 2001 From: Bruce Dubbs Date: Tue, 19 Apr 2022 11:36:18 -0500 Subject: Fix currency for mpfr There is something wrong with the certificate for the mpfr web page https://mpfr.loria.fr/mpfr-current/. Ignore the certificate problem. --- lfs-latest-git.php | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/lfs-latest-git.php b/lfs-latest-git.php index 5436099ba..645f8e70d 100644 --- a/lfs-latest-git.php +++ b/lfs-latest-git.php @@ -70,6 +70,7 @@ function find_even_max( $lines, $regex_match, $regex_replace ) function http_get_file( $url ) { if ( ! preg_match( "/sourceforge/", $url ) && + ! preg_match( "/mpfr/", $url ) && ! preg_match( "/psmisc/", $url ) ) { exec( "curl --location --silent --max-time 30 $url", $dir ); @@ -78,6 +79,14 @@ function http_get_file( $url ) $dir = strip_tags( $s ); return explode( "\n", $dir ); } + else if ( preg_match( "/mpfr/", $url ) ) + { + # There seems to be a problem with the mpfs certificate + exec( "curl --location --silent --insecure --max-time 30 $url", $dir ); + $s = implode( "\n", $dir ); + $dir = strip_tags( $s ); + return explode( "\n", $dir ); + } else { exec( "lynx -dump $url 2>/dev/null", $lines ); -- cgit v1.2.3-54-g00ecf