JuliaLang/IJulia.jl — pull request #240 by randy3k (2014-10-17 19:05:32+00:00)
Title: add a little pause after flush_cstdio()

it seems that flush_cstdio() is not synchronized, we have to add a little delay.