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

Reply via email to