From 14b81dca09338d6f8854d9596c5b42c050e61ed6 Mon Sep 17 00:00:00 2001
From: Shish <shish@shishnet.org>
Date: Wed, 10 Jan 2024 21:10:42 +0000
Subject: [PATCH] [core] no buffering for CLI output

---
 index.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/index.php b/index.php
index 444fd925..659083b2 100644
--- a/index.php
+++ b/index.php
@@ -80,6 +80,7 @@ try {
     $user = _get_user();
     send_event(new UserLoginEvent($user));
     if (PHP_SAPI === 'cli' || PHP_SAPI == 'phpdbg') {
+        ob_end_flush();
         send_event(new CommandEvent($argv));
     } else {
         send_event(new PageRequestEvent($_SERVER['REQUEST_METHOD'], _get_query()));