archive/php-src
1
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2025-08-15 21:48:51 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 3

Do not display compilation success / normal script end in -rr mode

Browse source
This commit is contained in:
Bob Weinand 2015-07-18 20:37:44 +02:00
parent 440d715632
commit 6435eb8019
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
sapi/phpdbg/phpdbg.c
View file

@ -1475,7 +1475,7 @@ phpdbg_main:
/* setup remote server if necessary */ /* setup remote server if necessary */
if (cleaning <= 0 && listen > 0) { if (cleaning <= 0 && listen > 0) {
server = phpdbg_open_socket(address, listen); server = phpdbg_open_socket(address, listen);
if (-1 > server || phpdbg_remote_init(address, listen, server, &socket, &stream) == FAILURE) { if (-1 > server || phpdbg_remote_init(address, listen, server, &socket, &stream) == FAILURE) {
exit(0); exit(0);
} }
@ -1656,7 +1656,7 @@ phpdbg_main:
/* auto compile */ /* auto compile */
if (PHPDBG_G(exec)) { if (PHPDBG_G(exec)) {
if (settings) { if (settings || phpdbg_startup_run > 0) {
PHPDBG_G(flags) |= PHPDBG_DISCARD_OUTPUT; PHPDBG_G(flags) |= PHPDBG_DISCARD_OUTPUT;
} }
@ -1814,7 +1814,7 @@ phpdbg_out:
php_request_shutdown(NULL); php_request_shutdown(NULL);
} zend_end_try(); } zend_end_try();
if ((PHPDBG_G(flags) & (PHPDBG_IS_QUITTING | PHPDBG_IS_RUNNING)) == PHPDBG_IS_RUNNING) { if ((PHPDBG_G(flags) & (PHPDBG_IS_QUITTING | PHPDBG_IS_RUNNING)) == PHPDBG_IS_RUNNING && !quit_immediately) {
phpdbg_notice("stop", "type=\"normal\"", "Script ended normally"); phpdbg_notice("stop", "type=\"normal\"", "Script ended normally");
cleaning++; cleaning++;
} }