1
0
mirror of https://github.com/php/php-src.git synced 2026-03-30 20:22:36 +02:00

- Cosmetics

This commit is contained in:
Felipe Pena
2013-11-10 20:04:22 -02:00
parent f45f2ab8f8
commit 8ffa4025fb

View File

@@ -411,8 +411,7 @@ zend_vm_enter:
execute_data TSRMLS_CC);
if (PHPDBG_G(stepping)) {
while (phpdbg_interactive(
0, NULL TSRMLS_CC) != PHPDBG_NEXT) {
while (phpdbg_interactive(0, NULL TSRMLS_CC) != PHPDBG_NEXT) {
continue;
}
}