std: Flush stdout when print! is called

[richo]

Candidate fix for #23818

[rust-highfive]

r? @alexcrichton

(rust_highfive has picked a reviewer for you, use r? to override)

[barosl]

So, this means that we should use print!() for debugging purposes, and stdout().write() for general purposes?

[richo]

Exactly. If you just want to write some bytes/chars to stdout, print! Was
probably never the right tool although I'm not sure the docs make this
clear.

On Saturday, March 28, 2015, Barosl Lee notifications@github.com wrote:

So, this means that we should use print!() for debugging purposes, and
stdout().write() for general purposes?

—
Reply to this email directly or view it on GitHub
#23823 (comment).

[alexcrichton]

Thanks for the PR! I'd rather hold some discussion on #23818 before rushing to a fix here, so I'm going to close this while we hash it out on the issue first.