Merge pull request scala#5172 from melekhove/issue/5171

Fix scala#5171: Close input stream after reading its content
mrveera · Oct 1, 2018 · 0309bbf · 0309bbf
2 parents 2cb678a + b77ce96
commit 0309bbf
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/compiler/src/dotty/tools/dotc/plugins/Plugin.scala b/compiler/src/dotty/tools/dotc/plugins/Plugin.scala
@@ -103,6 +103,7 @@ object Plugin {
     def fromFile(inputStream: InputStream, path: Path): String = {
       val props = new Properties
       props.load(inputStream)
+      inputStream.close()
 
       val pluginClass = props.getProperty("pluginClass")