***DARCS***
authoradam <adam@megacz.com>
Sat, 15 Jan 2005 11:47:26 +0000 (11:47 +0000)
committeradam <adam@megacz.com>
Sat, 15 Jan 2005 11:47:26 +0000 (11:47 +0000)
Write the long patch description into this file.
The first line of this file will be the patch name.
Everything in this file from the above ***DARCS*** line on will be ignored.

This patch contains the following changes:

M ./src/org/ibex/js/Directory.java -1 +1

darcs-hash:20050115114726-5007d-04563a5120f9414798472c8d6f2ef1adb636b5ad.gz

src/org/ibex/js/Directory.java

index 9bcc7f6..a44cc77 100644 (file)
@@ -96,7 +96,7 @@ public class Directory extends JS.Immutable {
             File f2 = new File(f.getAbsolutePath() + File.separatorChar + Encode.toFilename(key));
             if (!f2.exists()) return null;
             if (f2.isDirectory()) return new Directory(f2);
-            char[] chars = new char[((int)f2.length()) * 2];
+            char[] chars = new char[((int)f2.length()) * 4 + 10];
             int numchars = 0;
             Reader r = new InputStreamReader(new FileInputStream(f2));
             while(true) {