------- Additional Comments From pinskia at gcc dot gnu dot org 2005-04-28 19:45 ------- Note BufferedReader does not need to read in the full buffer, it actually is a non blocking reader: >From <http://java.sun.com/j2se/1.4.2/docs/api/java/io/ BufferedReader.html#read(char[],%20int,%20int)> The ready method of the underlying stream returns false, indicating that further input requests would block.
so I don't know if this is a real bug or not. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21270