diff truffle/com.oracle.truffle.api/src/com/oracle/truffle/api/source/Source.java @ 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 b2d1c8ff592a
children f26b6524e5e0
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();
     }