You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 4790 Reporter: vouillon Status: closed (set by @xavierleroy on 2009-05-19T12:34:56Z) Resolution: fixed Priority: normal Severity: minor Version: 3.11.0 Fixed in version: 3.11.1+dev Category: ~DO NOT USE (was: OCaml general)
Bug description
Under Windows, writing to a pipe results in an ERROR_NO_DATA error when the other end of the pipe is closed. This error should therefore be mapped to the EPIPE Unix error (patch attached).
Note that there is an ERROR_BROKEN_PIPE error already mapped to EPIPE, but the error occurs when trying to read from a closed pipe. (Under Unix, the read would simply return 0 to signal an end of file.)
Original bug ID: 4790
Reporter: vouillon
Status: closed (set by @xavierleroy on 2009-05-19T12:34:56Z)
Resolution: fixed
Priority: normal
Severity: minor
Version: 3.11.0
Fixed in version: 3.11.1+dev
Category: ~DO NOT USE (was: OCaml general)
Bug description
Under Windows, writing to a pipe results in an ERROR_NO_DATA error when the other end of the pipe is closed. This error should therefore be mapped to the EPIPE Unix error (patch attached).
Note that there is an ERROR_BROKEN_PIPE error already mapped to EPIPE, but the error occurs when trying to read from a closed pipe. (Under Unix, the read would simply return 0 to signal an end of file.)
File attachments
The text was updated successfully, but these errors were encountered: