diff options
| author | Bob Weinand <bobwei9@hotmail.com> | 2014-10-28 12:27:19 +0100 |
|---|---|---|
| committer | Bob Weinand <bobwei9@hotmail.com> | 2014-10-28 17:25:43 +0100 |
| commit | 64774c7ddbdef3844558898a50104ec6dc758b55 (patch) | |
| tree | bf00c1cd82603127fabfcac93cee6865dd42d6e6 | |
| parent | 44079a0c820e08de1709d8dff2682ba4b2c03965 (diff) | |
| download | php-git-64774c7ddbdef3844558898a50104ec6dc758b55.tar.gz | |
*Always* clean up and run destructors
| -rw-r--r-- | phpdbg_prompt.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/phpdbg_prompt.c b/phpdbg_prompt.c index 73ecbcb892..262b265a2e 100644 --- a/phpdbg_prompt.c +++ b/phpdbg_prompt.c @@ -676,10 +676,10 @@ PHPDBG_COMMAND(run) /* {{{ */ EG(active_op_array) = orig_op_array; EG(opline_ptr) = orig_opline; EG(return_value_ptr_ptr) = orig_retval_ptr; - - phpdbg_clean(1 TSRMLS_CC); } + phpdbg_clean(1 TSRMLS_CC); + PHPDBG_G(flags) &= ~PHPDBG_IS_RUNNING; } else { phpdbg_error("inactive", "type=\"nocontext\"", "Nothing to execute!"); |