From 9ea90209f9ef3a786b34995092e830c50a65ddfd Mon Sep 17 00:00:00 2001 From: Rosen Penev Date: Tue, 20 Feb 2018 12:43:00 -0800 Subject: [PATCH] download.pl: Change SourceForge address to HTTPS. SourceForge has supported HTTPS for its downloads for a long time now. I have not been able to see any failures resulting from this change. Signed-off-by: Rosen Penev --- scripts/download.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/download.pl b/scripts/download.pl index f5c3f71056..324cfdb3b3 100755 --- a/scripts/download.pl +++ b/scripts/download.pl @@ -191,7 +191,7 @@ foreach my $mirror (@ARGV) { if ($mirror =~ /^\@SF\/(.+)$/) { # give sourceforge a few more tries, because it redirects to different mirrors for (1 .. 5) { - push @mirrors, "http://downloads.sourceforge.net/$1"; + push @mirrors, "https://downloads.sourceforge.net/$1"; } } elsif ($mirror =~ /^\@APACHE\/(.+)$/) { push @mirrors, "https://mirror.netcologne.de/apache.org/$1";