summaryrefslogtreecommitdiff
path: root/Zend/zend_objects_API.h
diff options
context:
space:
mode:
authorStanislav Malyshev <stas@php.net>2004-09-17 10:13:52 +0000
committerStanislav Malyshev <stas@php.net>2004-09-17 10:13:52 +0000
commit3755c03291a5f956b0b72a5f613d9f21554f5e24 (patch)
tree68646bb38b5a16c799b12481659d52ad07d899da /Zend/zend_objects_API.h
parent2a2d49b9470d31da8fbcaeaf047b72a1e41f526e (diff)
downloadphp-git-3755c03291a5f956b0b72a5f613d9f21554f5e24.tar.gz
fix crash when dtor is fialing on shutdown
Diffstat (limited to 'Zend/zend_objects_API.h')
-rw-r--r--Zend/zend_objects_API.h1
1 files changed, 1 insertions, 0 deletions
diff --git a/Zend/zend_objects_API.h b/Zend/zend_objects_API.h
index 189ab9c5ec..02701941f2 100644
--- a/Zend/zend_objects_API.h
+++ b/Zend/zend_objects_API.h
@@ -57,6 +57,7 @@ typedef struct _zend_objects_store {
BEGIN_EXTERN_C()
ZEND_API void zend_objects_store_init(zend_objects_store *objects, zend_uint init_size);
ZEND_API void zend_objects_store_call_destructors(zend_objects_store *objects TSRMLS_DC);
+ZEND_API void zend_objects_store_mark_destructed(zend_objects_store *objects TSRMLS_DC);
ZEND_API void zend_objects_store_destroy(zend_objects_store *objects);
/* Store API functions */