Changeset 33fcd18

Timestamp:

04/21/2022 03:23:45 PM (2 years ago)

Author:

William Harrington <kb0iic@…>

Branches:

arm

Children:

3d6553b4

Parents:

272fcd4d

git-author:

Bruce Dubbs <bdubbs@…> (04/19/2022 04:36:18 PM)

git-committer:

William Harrington <kb0iic@…> (04/21/2022 03:23:45 PM)

Message:

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.

File:

• lfs-latest-git.php (modified) (1 diff)

lfs-latest-git.php

@@ -71 +71 @@
 {
   if ( ! preg_match( "/sourceforge/", $url ) &&
+       ! preg_match( "/mpfr/",        $url ) &&
        ! preg_match( "/psmisc/",      $url ) )
   {
     exec( "curl --location --silent --max-time 30 $url", $dir );
 
+    $s   = implode( "\n", $dir );
+    $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 );