Merge pull request #275 from colin-kiegel/hhvm-flush-before-exit

HHVM fix - flush before exit
2026-09-18 05:36:21 +00:00 · 2015-03-30 18:26:59 +03:00
parent 8f3d7b9e9d 845c881347
commit c982fe62c4
1 changed files with 1 additions and 0 deletions
@@ -285,6 +285,7 @@ class Run
        }

        if ($willQuit) {
+            flush(); // HHVM fix for https://github.com/facebook/hhvm/issues/4055
            exit(1);
        }