Hi Michael,

I believe stdout uses line buffering by default so you need to explicitly flush the buffer to get the output

-- Johan