Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJonah Graham2021-06-03 16:45:07 +0000
committerJonah Graham2021-06-03 16:45:07 +0000
commit68bdf89ebb53c50cb443de37ef8e0c137bc9800d (patch)
treeae4d8c66556422605594e2382a0dabe6da29cae4
parente49152d90b7b158d8c98e962ec7a1c714de155ae (diff)
downloadorg.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
-rw-r--r--releng/org.eclipse.epp.config/tools/_mirrors.php (renamed from releng/org.eclipse.epp.config/tools/mirrors.php)2
-rwxr-xr-xreleng/org.eclipse.epp.config/tools/upload-to-staging.sh4
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
# -----------------------------

Back to the top