To be honest I’m not sure. Feel free to inspect the source :-) I don’t really know how to address the issue but am open to suggestions!
Dave On Tue, 9 Nov 2021 at 17:17, Reuben Thomas <[email protected]> wrote: > On Tue, 9 Nov 2021 at 17:01, Dave Ewart <[email protected]> wrote: > >> >> What platform/OS/etc. does this happen on? > > > Ubuntu 20.04 amd64. > > As I asked before, is stdout being flushed before possible stderr output? > > > -- > https://rrt.sc3d.org > -- Dave Ewart, [email protected]
