sources cleanup

[brisk.git] / web / index_rd.php

diff --git a/web/index_rd.php b/web/index_rd.php
index 9763c9e..2148234 100644 (file)
--- a/web/index_rd.php
+++ b/web/index_rd.php
@@ -472,10 +472,10 @@ 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).')');
-    if ($is_page_streaming)
-      break;
+    mop_flush();
+    log_mop(0, 'index_rd.php: after mop_flush (begin: '.sprintf("%f", $pre_main).')');
+    if ($is_page_streaming) 
+        break;
   }
   $old_stat =  $stat;
   $old_subst = $subst;
@@ -485,7 +485,8 @@ for ($i = 0 ; time() < $endtime ; $i++) {
   if (($i % 10) == 0) {
     // log_rd2("TIME: ".time());
     echo '_';
-    flush();
+    mop_flush();
+    log_crit("flush");
   }
  }
 
@@ -501,5 +502,4 @@ foreach ($S_load_stat as $key => $value) {
 }
 $s = sprintf("index_rd.php stats:  R: %d W: %d - %s", $tr, $tw, $s);
 log_crit($s);
-
 ?>