diff options
| author | Bob Weinand <bobwei9@hotmail.com> | 2014-10-28 12:27:19 +0100 |
|---|---|---|
| committer | Bob Weinand <bobwei9@hotmail.com> | 2014-10-28 12:27:19 +0100 |
| commit | cce9550e48021ea4e3da4f8f8c58fef31087fc6d (patch) | |
| tree | bf00c1cd82603127fabfcac93cee6865dd42d6e6 | |
| parent | 2297a9aa01bf1414bfe3dedc666b9ad09d3fa428 (diff) | |
| download | php-git-cce9550e48021ea4e3da4f8f8c58fef31087fc6d.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!"); |