From b77ce9663dd08e0ffd3a80f3803850fca116fbe9 Mon Sep 17 00:00:00 2001
From: Eugene Melekhov <melekhove@gmail.com>
Date: Thu, 27 Sep 2018 09:58:07 +0300
Subject: [PATCH] Fix #5171: Close input stream after reading its content

---
 compiler/src/dotty/tools/dotc/plugins/Plugin.scala | 1 +
 1 file changed, 1 insertion(+)

diff --git a/compiler/src/dotty/tools/dotc/plugins/Plugin.scala b/compiler/src/dotty/tools/dotc/plugins/Plugin.scala
index 585fae1c53e8..b4bfe0a65e85 100644
--- 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")