1
0
mirror of https://github.com/php/php-src.git synced 2026-04-24 08:28:26 +02:00

Merge branch 'master' of github.com:krakjoe/phpdbg

This commit is contained in:
Felipe Pena
2013-11-11 23:41:29 -02:00
2 changed files with 6 additions and 3 deletions
-2
View File
@@ -1,8 +1,6 @@
The interactive PHP debugger
============================
phpdbg is an interactive debugger for PHP.
Implemented as a SAPI module, phpdbg can excerpt complete control over the environment without impacting the functionality or performance of your code.
phpdbg aims to be a lightweight, easy to use debugging platform for PHP5.5+
+6 -1
View File
@@ -567,8 +567,13 @@ int phpdbg_interactive(TSRMLS_D) /* {{{ */
}
break;
case PHPDBG_NEXT:
case PHPDBG_NEXT: {
if (!EG(in_execution)) {
printf("[Not running]\n");
}
return PHPDBG_NEXT;
}
}
} else if (PHPDBG_G(last)) {