diff options
| author | Zeev Suraski <zeev@php.net> | 2003-01-07 10:33:22 +0000 |
|---|---|---|
| committer | Zeev Suraski <zeev@php.net> | 2003-01-07 10:33:22 +0000 |
| commit | efb9fdf0e6d9c76b58445a4184b1d4b36ea9501c (patch) | |
| tree | 792854e65d1e2643aed382910596c217803a97d2 /TSRM/TSRM.c | |
| parent | e180f20e632f3c96b0b32cb726f324d652f3d360 (diff) | |
| download | php-git-efb9fdf0e6d9c76b58445a4184b1d4b36ea9501c.tar.gz | |
call dtors on shutdown
Diffstat (limited to 'TSRM/TSRM.c')
| -rw-r--r-- | TSRM/TSRM.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/TSRM/TSRM.c b/TSRM/TSRM.c index 56b67f08d9..fe096e9c28 100644 --- 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); |