Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0004789OCamlOCaml generalpublic2009-05-14 13:402012-03-24 15:01
Reportervouillon 
Assigned Togildor 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version3.11.0 
Target VersionFixed in Version3.12.0+dev 
Summary0004789: Windows: Unix.select failing with EPIPE error
DescriptionUnder Windows, Unix.select fails with an EPIPE error when the other end of the pipe is closed. It should instead report that the pipe is ready for reading. Here is a patch that fixes the problem.
TagsNo tags attached.
Attached Filestxt file icon patch1.txt [^] (1,101 bytes) 2009-05-14 13:40 [Show Content]

- Relationships

-  Notes
(0005476)
gildor (developer)
2010-05-20 17:49

Test case created
(0005504)
gildor (developer)
2010-05-25 15:18

Apply patch provided by J. Vouillon

- Issue History
Date Modified Username Field Change
2009-05-14 13:40 vouillon New Issue
2009-05-14 13:40 vouillon File Added: patch1.txt
2009-05-15 17:08 doligez Status new => acknowledged
2010-04-18 20:35 xleroy Status acknowledged => assigned
2010-04-18 20:35 xleroy Assigned To => gildor
2010-05-20 17:49 gildor Note Added: 0005476
2010-05-20 17:49 gildor Status assigned => confirmed
2010-05-25 15:18 gildor Note Added: 0005504
2010-05-25 15:18 gildor Status confirmed => resolved
2010-05-25 15:18 gildor Fixed in Version => 3.12.0+dev
2010-05-25 15:18 gildor Resolution open => fixed
2012-03-24 15:01 xleroy Status resolved => closed


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker