X-Git-Url: https://mop.ddnsfree.com/gitweb/?a=blobdiff_plain;ds=sidebyside;f=web%2Findex_rd.php;h=21482341e7e234e1c40f734e215930a32e5d4d2e;hb=4cbdccb22145e23fab22225a972b490842209c24;hp=50675eb51ad172440f181ce83005f3cfdfbc3b94;hpb=26c51203ae8342cf59e9e3946b0cbe89ed7bde95;p=brisk.git diff --git a/web/index_rd.php b/web/index_rd.php index 50675eb..2148234 100644 --- a/web/index_rd.php +++ b/web/index_rd.php @@ -474,8 +474,8 @@ for ($i = 0 ; time() < $endtime ; $i++) { log_send("IS_PAGE: ".($is_page_streaming == TRUE ? "TRUE" : "FALSE")."EXT_STEP: ".$ext_step." ENDTIME: [".$endtime."] ".$ret); mop_flush(); log_mop(0, 'index_rd.php: after mop_flush (begin: '.sprintf("%f", $pre_main).')'); - if ($is_page_streaming) - break; + if ($is_page_streaming) + break; } $old_stat = $stat; $old_subst = $subst; @@ -502,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); - ?>