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.

1 files changed, 9 insertions, 0 deletions

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 );