For some daft reason the stdout stream isn't flushed any more consistently after we have replaced the filedescriptor it points to. Get around this by manually flushing ourself all the time.  stderr seems not to be affected by this weirdness (on Linux at least).
For some daft reason the stdout stream isn't flushed any more
consistently after we have replaced the filedescriptor it points to.
Get around this by manually flushing ourself all the time.  stderr seems
not to be affected by this weirdness (on Linux at least).

zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb