From e620dd90d1922e518c6e685c6b56d72ebced708f Mon Sep 17 00:00:00 2001
From: Matteo Nastasi <nastasi@alternativeoutput.it>
Date: Tue, 31 Jul 2012 15:01:19 +0200
Subject: [PATCH] enhanced mop_flush

---
 web/Obj/brisk.phh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/web/Obj/brisk.phh b/web/Obj/brisk.phh
index 9051a75..1ff1f9f 100644
--- a/web/Obj/brisk.phh
+++ b/web/Obj/brisk.phh
@@ -286,7 +286,9 @@ Copyright 2006-2009 <a href=\\"mailto:brisk@alternativeoutput.it\\">Matteo Nasta
 
 function mop_flush()
 {
-    ob_flush();
+    for ($i = 0; $i < ob_get_level(); $i++)
+        ob_end_flush();
+    ob_implicit_flush(1);
     flush();
 }
 
-- 
2.17.1