diff options
| author | Bob Weinand <bobwei9@hotmail.com> | 2014-01-18 18:48:53 -0500 |
|---|---|---|
| committer | Bob Weinand <bobwei9@hotmail.com> | 2014-01-18 18:48:53 -0500 |
| commit | 992a8d0411535811006c1ba2be4723127995a88f (patch) | |
| tree | 05d85ac3b02b8e3f723c41c2a2f03ed571ad4e1e | |
| parent | b12286461d2868f5e6e5f90ee45b9d4c542fb1e2 (diff) | |
| download | php-git-992a8d0411535811006c1ba2be4723127995a88f.tar.gz | |
Clean root symbol table when starting new execution
| -rw-r--r-- | phpdbg_prompt.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/phpdbg_prompt.c b/phpdbg_prompt.c index cb46407957..529ab04194 100644 --- a/phpdbg_prompt.c +++ b/phpdbg_prompt.c @@ -566,6 +566,12 @@ PHPDBG_COMMAND(run) /* {{{ */ zend_rebuild_symbol_table(TSRMLS_C); } + /* clean up from last execution */ + zend_execute_data *ex = EG(current_execute_data); + if (ex && ex->symbol_table) { + zend_hash_clean(ex->symbol_table); + } + /* clean seek state */ PHPDBG_G(flags) &= ~PHPDBG_SEEK_MASK; zend_hash_clean( |