14 Jul
2023
14 Jul
'23
8:11 p.m.
On Fri Jul 14 18:41:24 2023 +0000, Paul Gofman wrote:
Yes, it is a shortcut. I don't know if this part is specific to sockets, but since we don't have it unified across all the other objects (and not sure how much it is feasible to unify) I suppose the other object behaviour is not directly related?
Some of the behaviour seems specific to sockets, but it's not clear that this part should be. It seems quite reasonable that it might apply to other object types as well. This is why I've been mentioning trying to reproduce the same cancellation with named pipes or something.