Otherwise, the output is buffered when e.g. piping the output to another command (or file). And it avoids having to call fflush() in the interactive mode. Fixes #3404.
Otherwise, the output is buffered when e.g. piping the output to another command (or file). And it avoids having to call fflush() in the interactive mode. Fixes #3404.