On Wednesday, 23 July 2014 at 15:30:53 UTC, Chris wrote: > Redirect it from stdout to somewhere else. It might be writing to stderr instead of stdout... does anything change if you reopen stderr too?