From 84512b199eb859a235ce04815cee28c20e96c725 Mon Sep 17 00:00:00 2001 From: Anatolii Date: Thu, 16 Jan 2020 11:33:50 +0100 Subject: [PATCH] Fetch maven metadata from Dotty plugin via HTTPS --- sbt-dotty/src/dotty/tools/sbtplugin/DottyPlugin.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sbt-dotty/src/dotty/tools/sbtplugin/DottyPlugin.scala b/sbt-dotty/src/dotty/tools/sbtplugin/DottyPlugin.scala index 2b12150520a2..7e11a0b1617d 100644 --- a/sbt-dotty/src/dotty/tools/sbtplugin/DottyPlugin.scala +++ b/sbt-dotty/src/dotty/tools/sbtplugin/DottyPlugin.scala @@ -34,7 +34,7 @@ object DottyPlugin extends AutoPlugin { // get latest nightly version from maven def fetchSource(version: String): (scala.io.BufferedSource, String) = - try Source.fromURL(s"http://repo1.maven.org/maven2/ch/epfl/lamp/dotty_$version/maven-metadata.xml") -> version + try Source.fromURL(s"https://repo1.maven.org/maven2/ch/epfl/lamp/dotty_$version/maven-metadata.xml") -> version catch { case t: java.io.FileNotFoundException => val major :: minor :: Nil = version.split('.').toList if (minor.toInt <= 0) throw t