diff options
author | Jonah Graham | 2021-06-03 16:45:07 +0000 |
---|---|---|
committer | Jonah Graham | 2021-06-03 16:45:07 +0000 |
commit | 68bdf89ebb53c50cb443de37ef8e0c137bc9800d (patch) | |
tree | ae4d8c66556422605594e2382a0dabe6da29cae4 | |
parent | e49152d90b7b158d8c98e962ec7a1c714de155ae (diff) | |
download | org.eclipse.epp.packages-68bdf89ebb53c50cb443de37ef8e0c137bc9800d.tar.gz org.eclipse.epp.packages-68bdf89ebb53c50cb443de37ef8e0c137bc9800d.tar.xz org.eclipse.epp.packages-68bdf89ebb53c50cb443de37ef8e0c137bc9800d.zip |
Place mirros at top of list and use https
Change-Id: Ie5f314f1df04e8744e065a8c8254c9859d94dcbc
-rw-r--r-- | releng/org.eclipse.epp.config/tools/_mirrors.php (renamed from releng/org.eclipse.epp.config/tools/mirrors.php) | 2 | ||||
-rwxr-xr-x | releng/org.eclipse.epp.config/tools/upload-to-staging.sh | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/releng/org.eclipse.epp.config/tools/mirrors.php b/releng/org.eclipse.epp.config/tools/_mirrors.php index 7c18ea0f..aab7ab66 100644 --- a/releng/org.eclipse.epp.config/tools/mirrors.php +++ b/releng/org.eclipse.epp.config/tools/_mirrors.php @@ -12,7 +12,7 @@ if (sizeof($files)>0) { ?> </head> <body> <?php -$downloadPrefix = "http://www.eclipse.org/downloads/download.php?file="; +$downloadPrefix = "https://www.eclipse.org/downloads/download.php?file="; $downloadDotEclipseServer = preg_match("#download.eclipse.org#",$_SERVER["DOCUMENT_ROOT"]) || preg_match("#download.eclipse.org#",$_SERVER["SERVER_NAME"]) || preg_match("#download.eclipse.org#",$_SERVER["SCRIPT_URI"]); echo "<table>\n"; diff --git a/releng/org.eclipse.epp.config/tools/upload-to-staging.sh b/releng/org.eclipse.epp.config/tools/upload-to-staging.sh index 41a2bd0a..e9a54ea2 100755 --- a/releng/org.eclipse.epp.config/tools/upload-to-staging.sh +++ b/releng/org.eclipse.epp.config/tools/upload-to-staging.sh @@ -46,8 +46,8 @@ done echo "TIMESTAMP: $(date)" > ci-info.txt echo "CI URL: ${BUILD_URL}" >> ci-info.txt -# place a mirrors.php for easy access to links via the Eclipse mirroring -cp ${WORKSPACE}/${GIT_REPOSITORY}/releng/org.eclipse.epp.config/tools/mirrors.php mirrors.php +# place a _mirrors.php for easy access to links via the Eclipse mirroring +cp ${WORKSPACE}/${GIT_REPOSITORY}/releng/org.eclipse.epp.config/tools/_mirrors.php _mirrors.php # ----------------------------- |