On Mon, Jul 18, 2011 at 10:41 AM, Peter Lobsinger <plobsing at gmail.com> wrote: > The destructor does exactly that, but is not triggered by global teardown. That seems wrong to me, we should be sweeping pools and destroying PMCs on global teardown. If we aren't doing that, it's a bug. --Andrew Whitworth