suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

rktio: another Windows pipe repair

Browse Source
This commit is contained in:
Matthew Flatt 2017-06-18 20:09:30 -06:00
parent cdf22f7cdd
commit f741208b77
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
racket/src/rktio/rktio_fd.c
View File

@ -1229,7 +1229,7 @@ intptr_t rktio_write(rktio_t *rktio, rktio_fd_t *rfd, const char *buffer, intptr
if (rfd->oth) { if (rfd->oth) {
if (rfd->oth->needflush) { if (rfd->oth->needflush) {
/* Not flushed, but we haven't promised not to block: */ /* Not flushed, but we haven't promised to make progress: */
flushed = 1; flushed = 1;
} else { } else {
WaitForSingleObject(rfd->oth->lock_sema, INFINITE); WaitForSingleObject(rfd->oth->lock_sema, INFINITE);
@ -1285,6 +1285,9 @@ intptr_t rktio_write(rktio_t *rktio, rktio_fd_t *rfd, const char *buffer, intptr
winwrote = 0; winwrote = 0;
} }
if (ok && winwrote && rfd->oth)
rfd->oth->needflush = 1;
if (ok) if (ok)
out_len = winwrote; out_len = winwrote;
} else { } else {