Re: Reading input from piped stdin.

[Adam D. Ruppe]

Just a quick look, but I betcha it has to do with buffering. 
After writing the line to the pipe, call the flush() method on 
the output pipe and see what happens there.

(Pipes buffer differently than regular output so this is a common 
mixup, especially with IDEs which communicate with stdout via 
pipes normally!)

let me know if it works