diff options
Diffstat (limited to 'Zend')
| -rw-r--r-- | Zend/zend.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Zend/zend.c b/Zend/zend.c index 10a678831c..dc1445bf32 100644 --- a/Zend/zend.c +++ b/Zend/zend.c @@ -1086,6 +1086,11 @@ void zend_shutdown(void) /* {{{ */ CG(map_ptr_base) = NULL; CG(map_ptr_size) = 0; } + if (CG(script_encoding_list)) { + free(CG(script_encoding_list)); + CG(script_encoding_list) = NULL; + CG(script_encoding_list_size) = 0; + } #endif zend_destroy_rsrc_list_dtors(); } |