Message148004
Here is an updated patch (pipe_poll_fix.patch) which should be applied on top of sigint_event.patch.
It fixes the problems with PipeConnection.poll() and Queue.empty() and makes PipeListener.accept() use overlapped I/O. This should make all the pipe releated blocking functions/methods interruptible on Windows. |
|
Date |
User |
Action |
Args |
2011-11-20 18:41:06 | sbt | set | recipients:
+ sbt, pitrou, tim.golden, jnoller, brian.curtin |
2011-11-20 18:41:05 | sbt | set | messageid: <1321814465.51.0.759877323291.issue12328@psf.upfronthosting.co.za> |
2011-11-20 18:41:04 | sbt | link | issue12328 messages |
2011-11-20 18:41:04 | sbt | create | |
|