mirror of
https://github.com/php/php-src.git
synced 2025-08-16 22:18:50 +02:00
extra safety
This commit is contained in:
parent
123d8f782f
commit
683cf733bd
1 changed files with 1 additions and 1 deletions
|
@ -26,7 +26,7 @@ ZEND_API void zend_objects_store_call_destructors(zend_objects_store *objects TS
|
||||||
for (i = 1; i < objects->top ; i++) {
|
for (i = 1; i < objects->top ; i++) {
|
||||||
if (objects->object_buckets[i].valid) {
|
if (objects->object_buckets[i].valid) {
|
||||||
struct _store_object *obj = &objects->object_buckets[i].bucket.obj;
|
struct _store_object *obj = &objects->object_buckets[i].bucket.obj;
|
||||||
if (obj->dtor) {
|
if (obj->dtor && !objects->object_buckets[i].destructor_called) {
|
||||||
objects->object_buckets[i].destructor_called = 1;
|
objects->object_buckets[i].destructor_called = 1;
|
||||||
obj->dtor(obj->object, i TSRMLS_CC);
|
obj->dtor(obj->object, i TSRMLS_CC);
|
||||||
}
|
}
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue