On Mon, Oct 23, 2023 at 10:16 AM Jon Leonard <jleon...@slimy.com> wrote:
> More specifically, fork() does not play nicely with stdio buffering. > But the fork() should not be changing the address space of the calling process. The duplicated buffers in the child process might be an issue in general (they aren't in this case), but the buffers in the parent process should not be disturbed. That seems like a bug in fork() to me. Meanwhile, I will try the various suggestions to see if one works in the real program.
