# HG changeset patch
# User wenzelm
# Date 1261501199 -3600
# Node ID 45ab26e4ac545a736c753fcf1c0b3cd1a7940515
# Parent  69b7e50656c36579ab62e703a151dc3ebf70435a
actually closer file reader;

diff -r 69b7e50656c3 -r 45ab26e4ac54 src/Pure/System/isabelle_system.scala
--- a/src/Pure/System/isabelle_system.scala	Tue Dec 22 17:25:41 2009 +0100
+++ b/src/Pure/System/isabelle_system.scala	Tue Dec 22 17:59:59 2009 +0100
@@ -58,6 +58,7 @@
       buf.append(c.toChar)
       c = reader.read
     }
+    reader.close
     buf.toString
   }
 }