Re: [boost] [pool] object_pool::destroy_all? (from users)