]> mop.ddnsfree.com - git repositories - brisk.git/commitdiff
mop_flush modify
authorMatteo Nastasi (mop) <nastasi@alternativeoutput.it>
Mon, 28 Nov 2011 08:06:44 +0000 (09:06 +0100)
committerMatteo Nastasi (mop) <nastasi@alternativeoutput.com>
Mon, 28 Nov 2011 22:06:33 +0000 (23:06 +0100)
web/Obj/brisk.phh
web/index_rd.php

index 135d2999b7b8ceaa50786bed2337db31ff04a744..0ffb9e22c4a3bf6a0561f9808e7adabfb60467b0 100644 (file)
@@ -286,8 +286,8 @@ Copyright 2006-2009 <a href=\\"mailto:brisk@alternativeoutput.it\\">Matteo Nasta
 
 function mop_flush()
 {
-    flush();
     ob_flush();
+    flush();
 }
 
 function file_lock($fname, $is_exclusive)
index 9fe7052275256b4c61c5d3287ec8a4cfae4c5d1f..50675eb51ad172440f181ce83005f3cfdfbc3b94 100644 (file)
@@ -486,6 +486,7 @@ for ($i = 0 ; time() < $endtime ; $i++) {
     // log_rd2("TIME: ".time());
     echo '_';
     mop_flush();
+    log_crit("flush");
   }
  }