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.
This commit is contained in:
Bruce Dubbs 2022-04-19 11:36:18 -05:00
parent 18e99c88b9
commit 9de91f7822

View File

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