consume an arbitrary number of line-ending CRs

darcs-hash:20040721210601-5007d-17d625b981dee9966b89cf2df831c841efa998a7.gz

diff --git a/src/org/ibex/io/Stream.java b/src/org/ibex/io/Stream.java
index b7e32b4..ef6c5a8 100644 (file)
--- a/src/org/ibex/io/Stream.java
+++ b/src/org/ibex/io/Stream.java
@@ -114,7 +114,7 @@ public class Stream {
                         int len = i-cstart;
                         cstart = i+1;
                         if (cbuf[begin] == '\r') { begin++; len--; }
-                        if (len > 0 && cbuf[begin+len-1] == '\r') { len--; }
+                        while (len > 0 && cbuf[begin+len-1] == '\r') { len--; }
                         return new String(cbuf, begin, len);
                     }
                 ensurec(256);