mirror of
https://github.com/php/php-src.git
synced 2025-08-16 05:58:45 +02:00
Free recorded warnings if script not cached
This commit is contained in:
parent
6a2659cb85
commit
d9e5c6b0b3
1 changed files with 10 additions and 0 deletions
|
@ -59,6 +59,16 @@ void free_persistent_script(zend_persistent_script *persistent_script, int destr
|
|||
zend_string_release_ex(persistent_script->script.filename, 0);
|
||||
}
|
||||
|
||||
if (persistent_script->warnings) {
|
||||
for (uint32_t i = 0; i < persistent_script->num_warnings; i++) {
|
||||
zend_error_info *info = persistent_script->warnings[i];
|
||||
zend_string_release(info->filename);
|
||||
zend_string_release(info->message);
|
||||
efree(info);
|
||||
}
|
||||
efree(persistent_script->warnings);
|
||||
}
|
||||
|
||||
efree(persistent_script);
|
||||
}
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue