Am 28.11.2014 um 15:17 schrieb Paolo Bonzini: > > On 28/11/2014 14:17, Peter Lieven wrote: >>>>>> The release_pool is not cleanup up on termination I think. >>>> That's not necessary, it is global. >> I don't see where you iterate over release_pool and destroy all coroutines? > The OS does that for us when we exit.
Sure, but isn't that considered bad practice? Before this patch the destructured freed the coroutines. Peter