mirror of
https://github.com/php/php-src.git
synced 2025-08-21 01:45:16 +02:00
parent
333264fdb7
commit
9add0e9f5c
2 changed files with 18 additions and 27 deletions
10
phpdbg.c
10
phpdbg.c
|
@ -1257,8 +1257,10 @@ phpdbg_interact:
|
|||
/* this must be forced */
|
||||
CG(unclean_shutdown) = 0;
|
||||
} else {
|
||||
/* local consoles cannot disconnect, ignore EOF */
|
||||
PHPDBG_G(flags) &= ~PHPDBG_IS_DISCONNECTED;
|
||||
/* local client quit console */
|
||||
CG(unclean_shutdown) = 0;
|
||||
|
||||
goto phpdbg_out;
|
||||
}
|
||||
}
|
||||
#endif
|
||||
|
@ -1273,7 +1275,7 @@ phpdbg_interact:
|
|||
|
||||
phpdbg_out:
|
||||
#ifndef _WIN32
|
||||
if ((PHPDBG_G(flags) & PHPDBG_IS_DISCONNECTED)) {
|
||||
if (PHPDBG_G(flags) & PHPDBG_IS_DISCONNECTED) {
|
||||
PHPDBG_G(flags) &= ~PHPDBG_IS_DISCONNECTED;
|
||||
goto phpdbg_interact;
|
||||
}
|
||||
|
@ -1322,7 +1324,7 @@ phpdbg_out:
|
|||
if (cleaning || remote) {
|
||||
goto phpdbg_main;
|
||||
}
|
||||
|
||||
|
||||
#ifdef ZTS
|
||||
/* bugggy */
|
||||
/* tsrm_shutdown(); */
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue