Provide a sound method of flushing stdout#10218

Merged

bors merged 1 commit intorust-lang:masterfrom

alexcrichton:stdio-flush-safe

Nov 1, 2013

Commits on Nov 1, 2013

Provide a sound method of flushing stdout
alexcrichton
committed