Skip to content

Commit b77ce96

Browse files
committed
Fix #5171: Close input stream after reading its content
1 parent 5e91f77 commit b77ce96

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

compiler/src/dotty/tools/dotc/plugins/Plugin.scala

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -103,6 +103,7 @@ object Plugin {
103103
def fromFile(inputStream: InputStream, path: Path): String = {
104104
val props = new Properties
105105
props.load(inputStream)
106+
inputStream.close()
106107

107108
val pluginClass = props.getProperty("pluginClass")
108109

0 commit comments

Comments
 (0)