1
0
mirror of https://github.com/php/php-src.git synced 2026-04-28 10:43:30 +02:00

consistency

This commit is contained in:
krakjoe
2013-11-10 16:34:12 +00:00
parent 782ea75c9e
commit 5f6c416b14
+4 -1
View File
@@ -359,7 +359,10 @@ int phpdbg_interactive(int argc, char **argv TSRMLS_DC) /* {{{ */
if (cmd_len) {
switch (phpdbg_do_cmd(phpdbg_prompt_commands, cmd, cmd_len TSRMLS_CC)) {
case FAILURE:
printf("error executing %s !\n", cmd);
if (!PHPDBG_G(quitting)) {
printf(
"Failed to execute %s !\n", cmd);
}
break;
case PHPDBG_NEXT: