diff options
| -rw-r--r-- | Zend/zend_execute_API.c | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/Zend/zend_execute_API.c b/Zend/zend_execute_API.c index 5d793dada3..ef29546ac0 100644 --- a/Zend/zend_execute_API.c +++ b/Zend/zend_execute_API.c @@ -275,9 +275,6 @@ void shutdown_executor(void) /* {{{ */ */ zend_llist_apply(&zend_extensions, (llist_apply_func_t) zend_extension_deactivator); - if (CG(unclean_shutdown)) { - EG(symbol_table).pDestructor = zend_unclean_zval_ptr_dtor; - } zend_hash_graceful_reverse_destroy(&EG(symbol_table)); } zend_end_try(); EG(valid_symbol_table) = 0; |