X-Git-Url: https://mop.ddnsfree.com/gitweb/?a=blobdiff_plain;f=web%2Findex_rd.php;h=9fe7052275256b4c61c5d3287ec8a4cfae4c5d1f;hb=f6a4ad0c8fed8ed0d3bab5fba9842cf00576c028;hp=4555814c91ac98b4645649bd7ef27b2c8aa1af08;hpb=ff958e6a95d460749f78966b8410931db1dbef04;p=brisk.git diff --git a/web/index_rd.php b/web/index_rd.php index 4555814..9fe7052 100644 --- a/web/index_rd.php +++ b/web/index_rd.php @@ -348,7 +348,7 @@ function maincheck($sess, $cur_stat, $cur_subst, $cur_step, &$new_stat, &$new_su return (page_sync($user->sess, "briskin5/index.php", $user->table, $user->table_token)); } log_rd2("NEWSTAT: ".$user->stat); - } + } /* if ($cur_step == -1) { */ else { ignore_user_abort(TRUE); $sem = Room::lock_data(FALSE); @@ -422,13 +422,13 @@ function maincheck($sess, $cur_stat, $cur_subst, $cur_step, &$new_stat, &$new_su log_rd2("LOGOUT FROM WHAT ???"); Room::save_data($room); - } - } - } + } /* if ($user->the_end == TRUE) { ... */ + } /* if ($user->the_end == TRUE) { ... */ + } /* if ($cur_step < $user->step) { */ Room::unlock_data($sem); ignore_user_abort(FALSE); - } + } /* else of if ($cur_step == -1) { */ return ($ret); @@ -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(); } }