13 lines
545 B
Diff
13 lines
545 B
Diff
--- src/c/file.d.orig 2020-04-24 04:54:52.000000000 -0600
|
|
+++ src/c/file.d 2020-07-07 08:27:48.474295560 -0600
|
|
@@ -3536,7 +3536,8 @@ output_stream_write_byte8(cl_object strm
|
|
ecl_disable_interrupts();
|
|
do {
|
|
out = fwrite(c, sizeof(char), n, IO_STREAM_FILE(strm));
|
|
- } while (out < n && restartable_io_error(strm, "fwrite"));
|
|
+ /* Ignore write errors to stderr to avoid an infinite loop */
|
|
+ } while (out < n && (IO_STREAM_FILE(strm) != stderr) && restartable_io_error(strm, "fwrite"));
|
|
ecl_enable_interrupts();
|
|
return out;
|
|
}
|