@ -158,6 +158,9 @@ TSRM_API void tsrm_shutdown(void)
next_p = p->next;
for (j=0; j<id_count; j++) {
if (resource_types_table && resource_types_table[j].dtor) {
resource_types_table[j].dtor(p->storage[j], &p->storage);
}
free(p->storage[j]);
free(p->storage);