X-Git-Url: https://mop.ddnsfree.com/gitweb/?a=blobdiff_plain;f=web%2Findex_rd.php;h=9fe7052275256b4c61c5d3287ec8a4cfae4c5d1f;hb=f6a4ad0c8fed8ed0d3bab5fba9842cf00576c028;hp=9763c9e69056bfefe0e245824de08834c285524d;hpb=2a2079521610d585b57f1590326ea7c9ab479af8;p=brisk.git

diff --git a/web/index_rd.php b/web/index_rd.php
index 9763c9e..9fe7052 100644
--- a/web/index_rd.php
+++ b/web/index_rd.php
@@ -472,8 +472,8 @@ for ($i = 0 ; time() < $endtime ; $i++) {
     echo "$ret";
     echo ' @END@'; 
     log_send("IS_PAGE: ".($is_page_streaming == TRUE ? "TRUE" : "FALSE")."EXT_STEP: ".$ext_step." ENDTIME: [".$endtime."] ".$ret);
-    flush();
-    log_mop(0, 'index_rd.php: after flush (begin: '.sprintf("%f", $pre_main).')');
+    mop_flush();
+    log_mop(0, 'index_rd.php: after mop_flush (begin: '.sprintf("%f", $pre_main).')');
     if ($is_page_streaming)
       break;
   }
@@ -485,7 +485,7 @@ for ($i = 0 ; time() < $endtime ; $i++) {
   if (($i % 10) == 0) {
     // log_rd2("TIME: ".time());
     echo '_';
-    flush();
+    mop_flush();
   }
  }