From 0452de1be9669f8976feacee05130bfd3b32c5c9 Mon Sep 17 00:00:00 2001
From: Shish <shish@shishnet.org>
Date: Sun, 2 Feb 2020 15:53:05 +0000
Subject: [PATCH] flush stdout after each CLI logging call

---
 core/logging.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/core/logging.php b/core/logging.php
index da3072a8..ae76d01c 100644
--- a/core/logging.php
+++ b/core/logging.php
@@ -25,6 +25,7 @@ function log_msg(string $section, int $priority, string $message, ?string $flash
 
     if ((PHP_SAPI === 'cli' || PHP_SAPI === 'phpdbg') && ($priority >= $threshold)) {
         print date("c")." $section: $message\n";
+        ob_flush();
     }
     if (!is_null($flash)) {
         $page->flash($flash);