mirror of
https://github.com/php/php-src.git
synced 2025-08-16 05:58:45 +02:00
phpdbg: close file handles
This commit is contained in:
parent
d62ab27042
commit
b04125da85
1 changed files with 2 additions and 0 deletions
|
@ -242,6 +242,7 @@ zend_op_array *phpdbg_compile_file(zend_file_handle *file, int type) {
|
||||||
char resolved_path_buf[MAXPATHLEN];
|
char resolved_path_buf[MAXPATHLEN];
|
||||||
|
|
||||||
if (zend_stream_fixup(file, &bufptr, &data.len) == FAILURE) {
|
if (zend_stream_fixup(file, &bufptr, &data.len) == FAILURE) {
|
||||||
|
zend_file_handle_dtor(file);
|
||||||
return NULL;
|
return NULL;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -288,6 +289,7 @@ zend_op_array *phpdbg_compile_file(zend_file_handle *file, int type) {
|
||||||
|
|
||||||
fake.opened_path = NULL;
|
fake.opened_path = NULL;
|
||||||
zend_file_handle_dtor(&fake);
|
zend_file_handle_dtor(&fake);
|
||||||
|
zend_file_handle_dtor(file);
|
||||||
|
|
||||||
return ret;
|
return ret;
|
||||||
}
|
}
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue