mop_flush modify

[brisk.git] / web / index_rd.php

diff --git a/web/index_rd.php b/web/index_rd.php
index 9fe7052..50675eb 100644 (file)
--- 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");
   }
  }