diff options
author | Dmitry Stogov <dmitry@zend.com> | 2015-04-01 13:32:23 +0300 |
---|---|---|
committer | Dmitry Stogov <dmitry@zend.com> | 2015-04-01 13:32:23 +0300 |
commit | acfc31c0f803601f49a4d512d73968f50924a68c (patch) | |
tree | 0b94afd8529192cb2590463139f0ebeccdacd4f0 /Zend/zend_objects.c | |
parent | ac470ddf1cf45ce0a9f6c2bec6c61a913d979351 (diff) | |
download | php-git-acfc31c0f803601f49a4d512d73968f50924a68c.tar.gz |
Use zend_error_noreturn() for fatal errors
Diffstat (limited to 'Zend/zend_objects.c')
-rw-r--r-- | Zend/zend_objects.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Zend/zend_objects.c b/Zend/zend_objects.c index aec3811087..6f95e440cc 100644 --- a/Zend/zend_objects.c +++ b/Zend/zend_objects.c @@ -117,7 +117,7 @@ ZEND_API void zend_objects_destroy_object(zend_object *object) old_exception = NULL; if (EG(exception)) { if (EG(exception) == object) { - zend_error(E_ERROR, "Attempt to destruct pending exception"); + zend_error_noreturn(E_ERROR, "Attempt to destruct pending exception"); } else { old_exception = EG(exception); EG(exception) = NULL; |