Fix phpdbg

diff --git a/sapi/phpdbg/phpdbg_prompt.c b/sapi/phpdbg/phpdbg_prompt.c
index dec11f280b0024c29f3b84cc6d51f23c4aca64d9..9218c4a815ef393b0a6f1faf3b6219ed345195a8 100644 (file)
--- a/sapi/phpdbg/phpdbg_prompt.c
+++ b/sapi/phpdbg/phpdbg_prompt.c
@@ -444,6 +444,10 @@ int phpdbg_compile(void) /* {{{ */
        if (php_stream_open_for_zend_ex(PHPDBG_G(exec), &fh, USE_PATH|STREAM_OPEN_FOR_INCLUDE) == SUCCESS) {
                PHPDBG_G(ops) = zend_compile_file(&fh, ZEND_INCLUDE);
                zend_destroy_file_handle(&fh);
+               if (EG(exception)) {
+                       zend_exception_error(EG(exception), E_ERROR);
+                       zend_bailout();
+               }
 
                phpdbg_notice("compile", "context=\"%s\"", "Successful compilation of %s", PHPDBG_G(exec));