]> granicus.if.org Git - php/commitdiff
Ref #76801 remove old file source from file_sources hash in case of file included...
authorAlessandro Chitolina <alekitto@gmail.com>
Tue, 2 Apr 2019 12:36:59 +0000 (14:36 +0200)
committerMatteo Beccati <mbeccati@php.net>
Wed, 3 Apr 2019 12:35:57 +0000 (14:35 +0200)
sapi/phpdbg/phpdbg_list.c

index cb0250e9e08fd22fdd5b2fc47b9b99bdc15822b3..15d1313e99946d652a4b6ec9d281011ebc3e7e29 100644 (file)
@@ -273,6 +273,7 @@ zend_op_array *phpdbg_compile_file(zend_file_handle *file, int type) {
        dataptr = erealloc(dataptr, sizeof(phpdbg_file_source) + sizeof(uint32_t) * line);
        dataptr->line[line] = endptr - data.buf;
 
+       zend_hash_del(&PHPDBG_G(file_sources), ret->filename);
        zend_hash_add_ptr(&PHPDBG_G(file_sources), ret->filename, dataptr);
        phpdbg_resolve_pending_file_break(ZSTR_VAL(ret->filename));