diff options
author | Dmitry Stogov <dmitry@zend.com> | 2017-06-21 16:11:50 +0300 |
---|---|---|
committer | Dmitry Stogov <dmitry@zend.com> | 2017-06-21 16:11:50 +0300 |
commit | 06e41cadd95faa5662cb385ace128793b5533ed9 (patch) | |
tree | 31adf30b32abafbd5ce1404c06b4cdb7b58c27fc /Zend/zend_builtin_functions.h | |
parent | 9b201aec073a52098f1633cae39bdfff68be82d7 (diff) | |
download | php-git-06e41cadd95faa5662cb385ace128793b5533ed9.tar.gz |
We don't need any special handling for CG(unclean_shutdown) at this point, because in case of exit() or die() all destructors must be already called before.
Diffstat (limited to 'Zend/zend_builtin_functions.h')
0 files changed, 0 insertions, 0 deletions