Error flushing stdout: Broken pipe (os error 32)
