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: <1506049714.53.0.225807359245.issue31452@psf.upfronthosting.co.za> |
2017-09-22 03:08:34 | gvanrossum | link | issue31452 messages |
2017-09-22 03:08:34 | gvanrossum | create | |
|