Message302735
I'm afraid I no longer have all the details of this design in my head, and I have no idea what the fix does (and no time to read up on everything).
The OP says "If you do not await gather" -- what happens if you *do* await it? Do the tasks then get killed?
It seems strange to both cancel the task *and* set its exception.
The docstring for gather() seems to be pretty clear that cancellation and failure of one task should not affect other tasks. So this argues against the PR. |
|
| Date |
User |
Action |
Args |
| 2017-09-22 03:08:34 | gvanrossum | set | recipients:
+ gvanrossum, asvetlov, yselivanov, kwarunek, Andrew Lytvyn |
| 2017-09-22 03:08:34 | gvanrossum | set | messageid: <[email protected]> |
| 2017-09-22 03:08:34 | gvanrossum | link | issue31452 messages |
| 2017-09-22 03:08:34 | gvanrossum | create | |
|