Followup of #4705: we can't skip the binary buffering layer for stdin because FileIO doesn't have a read1() method
........
r68981 | antoine.pitrou | 2009-01-26 23:00:21 +0100 (lun., 26 janv. 2009) | 3 lines
Fix test so as to also pass in debug mode
........