On Fri 25 Nov 2022 at 03:03, Tomas Hlavaty <t...@logand.com> wrote:
> It also seems that those do not get disposed properly, do they?

The pipes do get closed, except one.
I think it is done by the :noname kill-task in newtask4.

Reply via email to