From 909fee961d443a8d7191f223b85b45a50745b926 Mon Sep 17 00:00:00 2001 From: "Matteo Nastasi (mop)" Date: Mon, 28 Nov 2011 09:06:44 +0100 Subject: [PATCH] mop_flush modify --- web/Obj/brisk.phh | 2 +- web/index_rd.php | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/web/Obj/brisk.phh b/web/Obj/brisk.phh index 135d299..0ffb9e2 100644 --- a/web/Obj/brisk.phh +++ b/web/Obj/brisk.phh @@ -286,8 +286,8 @@ Copyright 2006-2009 Matteo Nasta function mop_flush() { - flush(); ob_flush(); + flush(); } function file_lock($fname, $is_exclusive) diff --git a/web/index_rd.php b/web/index_rd.php index 9fe7052..50675eb 100644 --- a/web/index_rd.php +++ b/web/index_rd.php @@ -486,6 +486,7 @@ for ($i = 0 ; time() < $endtime ; $i++) { // log_rd2("TIME: ".time()); echo '_'; mop_flush(); + log_crit("flush"); } } -- 2.17.1