On 12/03/2013 09:12 AM, Benji wrote: > Hello, > in order to have correctly displayed output (before reading something > from stdin), > I must call stdout.flush(). I am surprised that you need that. What is your platform? Normally, stdin and stdout are "tied". Reading from stdin flushes stdout automatically. Ali