diff options
author | Ed Merks | 2022-08-19 12:03:23 +0000 |
---|---|---|
committer | Ed Merks | 2022-08-19 12:03:23 +0000 |
commit | e0fa1f7aaaf20e51a910b948fd0b29a0ce623cb1 (patch) | |
tree | 1b06c594187270fab1dbb4c5b2330a9304e15f00 /releng | |
parent | ef4ea6508ba8bae3361181ad076908e81d6398cc (diff) | |
download | org.eclipse.emf-e0fa1f7aaaf20e51a910b948fd0b29a0ce623cb1.tar.gz org.eclipse.emf-e0fa1f7aaaf20e51a910b948fd0b29a0ce623cb1.tar.xz org.eclipse.emf-e0fa1f7aaaf20e51a910b948fd0b29a0ce623cb1.zip |
[Releng] Use https for the mirror URL in a site.
Diffstat (limited to 'releng')
-rw-r--r-- | releng/org.eclipse.emf.releng/src/org/eclipse/emf/releng/UpdateSiteGenerator.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/releng/org.eclipse.emf.releng/src/org/eclipse/emf/releng/UpdateSiteGenerator.java b/releng/org.eclipse.emf.releng/src/org/eclipse/emf/releng/UpdateSiteGenerator.java index b87ada7e8..b70b2fdb2 100644 --- a/releng/org.eclipse.emf.releng/src/org/eclipse/emf/releng/UpdateSiteGenerator.java +++ b/releng/org.eclipse.emf.releng/src/org/eclipse/emf/releng/UpdateSiteGenerator.java @@ -200,7 +200,7 @@ public class UpdateSiteGenerator destinationArtifactRepository.setProperty(IRepository.PROP_NAME, repositoryName); if (destination.startsWith(DOWLOAD_ROOT_FOLDER)) { - String mirrorsURL = "http://www.eclipse.org/downloads/download.php?file=/" + destination.substring(DOWLOAD_ROOT_FOLDER.length()); + String mirrorsURL = "https://www.eclipse.org/downloads/download.php?file=/" + destination.substring(DOWLOAD_ROOT_FOLDER.length()); destinationArtifactRepository.setProperty("p2.mirrorsURL", mirrorsURL); } } |