Message223872
I find Charles' argument pretty convincing. The whole point of this API is to have another thing you can add to the selector to deal with a race condition. You then pass this thing's fileno() to signal.set_wakeup_fd(). That should be totally portable.
I'm find with it requiring a fd that refers to a socket on Windows; plain files aren't selectable anyway (not even on UNIX). |
|
| Date |
User |
Action |
Args |
| 2014-07-24 19:04:29 | gvanrossum | set | recipients:
+ gvanrossum, loewis, pitrou, vstinner, neologix, python-dev, yselivanov |
| 2014-07-24 19:04:29 | gvanrossum | set | messageid: <[email protected]> |
| 2014-07-24 19:04:29 | gvanrossum | link | issue22018 messages |
| 2014-07-24 19:04:29 | gvanrossum | create | |
|