enhanced mop_flush

diff --git a/web/Obj/brisk.phh b/web/Obj/brisk.phh
index 9051a75f26c5811bc487ff37d37e302fa6b20cb7..1ff1f9f21eace19d1b93f4e12c436d95908d85b9 100644 (file)
--- 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();
 }