[Editor] Fix not closing input stream when using FileNode's readText() method

This commit is contained in:
2021-03-15 18:01:45 +01:00
parent 4a4be81a99
commit fef7b88a51

View File

@@ -37,7 +37,7 @@ interface FileNode {
fun inputStream(): InputStream = throw UnsupportedOperationException()
fun outputStream(): OutputStream = throw UnsupportedOperationException()
fun readText(charset: Charset = Charsets.UTF_8) = inputStream().reader(charset).readText()
fun readText(charset: Charset = Charsets.UTF_8) = inputStream().reader(charset).use { it.readText() }
fun writeText(text: String, charset: Charset = Charsets.UTF_8) = writeBytes(text.toByteArray(charset))
fun writeBytes(array: ByteArray) = outputStream().use { it.write(array) }
}