Destructor added to close pool

Destructor "destroy" added to close pool (god only knows how I forgot to add this initially)