call dtors on shutdown

diff --git a/TSRM/TSRM.c b/TSRM/TSRM.c
index 56b67f08d98d7d6c092c58b04ebc154487996507..fe096e9c283a0f6652e526f5f78be4bdfc00b4fb 100644 (file)
--- a/TSRM/TSRM.c
+++ b/TSRM/TSRM.c
@@ -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);