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.
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.