flush after banner print

diff --git a/sapi/cli/php_cli.c b/sapi/cli/php_cli.c
index 0c71aca52b606f04c11d9c31ef40fa3bf5b39413..55de63b5da212bf0139ce0f8e7449f6f8b867d93 100644 (file)
--- a/sapi/cli/php_cli.c
+++ b/sapi/cli/php_cli.c
@@ -680,6 +680,7 @@ int main(int argc, char *argv[])
 
                        case 'a':       /* interactive mode */
                                printf("Interactive mode enabled\n\n");
+                               fflush(stdout);
                                interactive=1;
                                break;