Re: Clean up some signal usage mainly related to Windows

[Peter Eisentraut]

On 06.07.23 22:43, Tristan Partin wrote:

        /* Finish incomplete line on stdout */
-       puts("");
-       exit(1);
+       write(STDOUT_FILENO, "", 1);
+       _exit(1);

puts() writes a newline, so it should probably be something like

    write(STDOUT_FILENO, "\n", 1);