changeset 21989:72010b401152

Truffle/Source: close the Reader when finished.
author Michael Van De Vanter <michael.van.de.vanter@oracle.com>
date Thu, 02 Jul 2015 17:33:58 +0200
parents 8a09e8c7725a
children f878f9778548 6223a23b02ad
files truffle/com.oracle.truffle.api/src/com/oracle/truffle/api/source/Source.java
diffstat 1 files changed, 9 insertions(+), 6 deletions(-) [+]
line wrap: on
line diff
--- a/truffle/com.oracle.truffle.api/src/com/oracle/truffle/api/source/Source.java	Wed Jul 01 23:22:52 2015 +0200
+++ b/truffle/com.oracle.truffle.api/src/com/oracle/truffle/api/source/Source.java	Thu Jul 02 17:33:58 2015 +0200
@@ -465,14 +465,17 @@
         final StringBuilder builder = new StringBuilder();
         final char[] buffer = new char[1024];
 
-        while (true) {
-            final int n = bufferedReader.read(buffer);
-            if (n == -1) {
-                break;
+        try {
+            while (true) {
+                final int n = bufferedReader.read(buffer);
+                if (n == -1) {
+                    break;
+                }
+                builder.append(buffer, 0, n);
             }
-            builder.append(buffer, 0, n);
+        } finally {
+            bufferedReader.close();
         }
-
         return builder.toString();
     }