Followed by stdout.flush(); to be sure.

Reply via email to