On Sat, 22 Jan 2022 14:24:17 +0100, =?UTF-8?Q?S=C3=B6ren?= Tempel wrote: > The patch below fixes this issue by flushing all open output streams > before executing the command using system(3). Alternatively, it may also > be sufficient to only flush stdout and (maybe) stderr.
Just flushing everything is the safest approach. This looks fine to me. - todd
