diff options
| author | Nikita Popov <nikita.ppv@gmail.com> | 2019-08-12 10:45:13 +0200 |
|---|---|---|
| committer | Nikita Popov <nikita.ppv@gmail.com> | 2019-08-12 10:45:13 +0200 |
| commit | a18ad194c470156f03a5ea2cb9174cc26bc5e618 (patch) | |
| tree | eac854652865c5edbba8948289be6baff6b8f747 /Zend/zend_execute_API.c | |
| parent | f465560a0f3642d866dd856cb8a246de0a4ac212 (diff) | |
| download | php-git-a18ad194c470156f03a5ea2cb9174cc26bc5e618.tar.gz | |
Fixed bug #78396
Diffstat (limited to 'Zend/zend_execute_API.c')
| -rw-r--r-- | Zend/zend_execute_API.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Zend/zend_execute_API.c b/Zend/zend_execute_API.c index a530162d50..161390e22a 100644 --- a/Zend/zend_execute_API.c +++ b/Zend/zend_execute_API.c @@ -265,6 +265,7 @@ void shutdown_executor(void) /* {{{ */ zend_llist_destroy(&CG(open_files)); } zend_end_try(); + EG(flags) |= EG_FLAGS_IN_RESOURCE_SHUTDOWN; zend_try { zend_close_rsrc_list(&EG(regular_list)); } zend_end_try(); |