diff options
Diffstat (limited to 'Zend/zend_execute_API.c')
| -rw-r--r-- | Zend/zend_execute_API.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Zend/zend_execute_API.c b/Zend/zend_execute_API.c index f2daec1083..cbdc121832 100644 --- a/Zend/zend_execute_API.c +++ b/Zend/zend_execute_API.c @@ -142,7 +142,7 @@ void shutdown_executor(ELS_D) } } - destroy_resource_list(ELS_C); /* must be destroyed after the main symbol table is destroyed */ + zend_destroy_rsrc_list(ELS_C); /* must be destroyed after the main symbol table is destroyed */ zend_ptr_stack_destroy(&EG(argument_stack)); if (EG(main_op_array)) { |