For #30, remove repeated “https://” from URL

This commit is contained in:
Brandon Rhodes 2021-11-23 07:36:19 -05:00
parent aaaea1edc5
commit 426a7bbe21
1 changed files with 2 additions and 2 deletions

View File

@ -233,8 +233,8 @@ sub fetch
{ {
# transfer # transfer
print "Getting $ORBFTPDIR/$ORBGZFILE from $ORBSITE...\n"; print "Getting $ORBFTPDIR/$ORBGZFILE from $ORBSITE...\n";
$cmd_v1 = "curl -s --connect-timeout 10 -u 'anonymous:xephem\@github.com' https://$ORBSITE/$ORBFTPDIR/$ORBGZFILE > $ORBGZFILE"; $cmd_v1 = "curl -s --connect-timeout 10 -u 'anonymous:xephem\@github.com' $ORBSITE/$ORBFTPDIR/$ORBGZFILE > $ORBGZFILE";
$cmd_v2 = "curl -s --disable-epsv --connect-timeout 10 -u 'anonymous:xephem\@github.com' https://$ORBSITE/$ORBFTPDIR/$ORBGZFILE > $ORBGZFILE"; $cmd_v2 = "curl -s --disable-epsv --connect-timeout 10 -u 'anonymous:xephem\@github.com' $ORBSITE/$ORBFTPDIR/$ORBGZFILE > $ORBGZFILE";
print "trying $cmd_v1\n"; print "trying $cmd_v1\n";
$curl_return = system "$cmd_v1"; $curl_return = system "$cmd_v1";
$curl_return = $curl_return >> 8; $curl_return = $curl_return >> 8;