-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Hello,
I found this bug in SE 2.3. I looked at the current version in SVN, the
issue is still here. Herafter I propose a patch for the bug that applies
on SE 2.3. Maybe the line count changes in current version.
Regards,
Guillaume
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
iEYEARECAAYFAklrplAACgkQGl8D2UjaREC+rQCeL9XnzWScCtRzkNrjM6ZCoZM/
x/sAnR88TSr1V6JtIEIr6o9R9dLV1zme
=u37A
-----END PGP SIGNATURE-----
diff -Naur SmartEiffel/lib/io/input_stream.e SmartEiffel_patch/lib/io/input_stream.e
--- SmartEiffel/lib/io/input_stream.e 2007-07-11 19:23:43.000000000 +0200
+++ SmartEiffel_patch/lib/io/input_stream.e 2009-01-11 21:47:33.000000000 +0100
@@ -99,6 +99,9 @@
filtered_read_character
i := i + 1
end
+ if i > limit then
+ filtered_unread_character
+ end
end
end
