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 /main/php_main.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 'main/php_main.h')
0 files changed, 0 insertions, 0 deletions