mirror of
https://github.com/php/php-src.git
synced 2025-08-15 21:48:51 +02:00
Fix bug #80757 (Exit code is 0 when could not open file)
This commit is contained in:
parent
78b0a85de6
commit
3ec37a74a2
1 changed files with 1 additions and 0 deletions
|
@ -773,6 +773,7 @@ PHPDBG_COMMAND(run) /* {{{ */
|
|||
if (!PHPDBG_G(ops)) {
|
||||
if (phpdbg_compile() == FAILURE) {
|
||||
phpdbg_error("compile", "type=\"compilefailure\" context=\"%s\"", "Failed to compile %s, cannot run", PHPDBG_G(exec));
|
||||
EG(exit_status) = FAILURE;
|
||||
goto out;
|
||||
}
|
||||
}
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue