void src_destroy( void ) { if (!Lines) return; mem_destroy_objects( InfoHeap ); mem_destroy_strings( StringHeap ); xfree( Lines ); /* terminal */ Lines = StringHeap = InfoHeap = NULL; }
void str_pool_destroy( str_Pool pool ) { poolInfo p = (poolInfo)pool; if (!p || !p->string || !p->hash) err_fatal( __FUNCTION__, "String pool improperly initialized\n" ); mem_destroy_strings( p->string ); hsh_destroy( p->hash ); xfree( p ); /* terminal */ }