mirror of
https://github.com/php/php-src.git
synced 2025-08-15 21:48:51 +02:00
Prefer already cached version of the script
This commit is contained in:
parent
3b62e8b9ab
commit
95248491af
2 changed files with 9 additions and 0 deletions
|
@ -64,6 +64,8 @@ void free_persistent_script(zend_persistent_script *persistent_script, int destr
|
|||
if (!destroy_elements) {
|
||||
persistent_script->script.function_table.pDestructor = NULL;
|
||||
persistent_script->script.class_table.pDestructor = NULL;
|
||||
} else {
|
||||
destroy_op_array(&persistent_script->script.main_op_array);
|
||||
}
|
||||
|
||||
zend_hash_destroy(&persistent_script->script.function_table);
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue