]> granicus.if.org Git - php/commitdiff
Add notification at script end
authorBob Weinand <bobwei9@hotmail.com>
Tue, 23 Sep 2014 11:04:53 +0000 (13:04 +0200)
committerBob Weinand <bobwei9@hotmail.com>
Tue, 23 Sep 2014 11:04:53 +0000 (13:04 +0200)
phpdbg_prompt.c

index d91ef3f3f5c89e4036fe0713baf47afac0827cab..ed60e99c46869ab91794eb040059b2da7e65faa4 100644 (file)
@@ -645,6 +645,7 @@ PHPDBG_COMMAND(run) /* {{{ */
                        zend_execute(EG(active_op_array) TSRMLS_CC);
                        PHPDBG_G(flags) ^= PHPDBG_IS_INTERACTIVE;
                        php_output_deactivate(TSRMLS_C);
+                       phpdbg_notice("Script ended normally");
                } zend_catch {
                        EG(active_op_array) = orig_op_array;
                        EG(opline_ptr) = orig_opline;