From: Matteo Nastasi (mop) Date: Sat, 21 Apr 2007 12:15:01 +0000 (+0000) Subject: step_proxy added X-Git-Tag: 3.0.0~267 X-Git-Url: http://mop.ddnsfree.com/gitweb/?a=commitdiff_plain;h=0ae7d426ebd3e9f2dfbad6845104e8a953958345;p=brisk.git step_proxy added --- diff --git a/web/index_rd.php b/web/index_rd.php index 6010681..20a7c14 100644 --- a/web/index_rd.php +++ b/web/index_rd.php @@ -65,14 +65,16 @@ function maincheck($sess, $cur_stat, $cur_subst, $cur_step, &$new_stat, &$new_su GLOBAL $is_page_streaming, $first_loop; $ret = FALSE; - - + $bri = FALSE; + + log_rd2($sess, "M"); /* Sync check (read only without modifications */ ignore_user_abort(TRUE); if (($sem = lock_data()) != FALSE) { - $bri = &load_data(); // Aggiorna l'expire time lato server if ($first_loop == TRUE) { + log_rd2($sess, "F"); + $bri = &load_data(); if (($user = &$bri->get_user($sess, $idx)) == FALSE) { unlock_data($sem); ignore_user_abort(FALSE); @@ -93,12 +95,25 @@ function maincheck($sess, $cur_stat, $cur_subst, $cur_step, &$new_stat, &$new_su return (FALSE); } + if (validate_sess($sess)) { + $proxy_step = step_get($sess); + // log_rd2($sess, "Postget".$proxy_step."zizi"); + + if ($cur_step == $proxy_step) { + log_rd2($sess, "P"); + return; + } + } + + if ($bri == FALSE) + $bri = &load_data(); + if (($user = &$bri->get_user($sess, $idx)) == FALSE) { return (unrecerror()); } /* Nothing changed, return. */ - if ($cur_stat == $user->stat && $cur_step == $user->step) + if ($cur_step == $user->step) return; log_rd2($sess, "do other ++".$cur_stat."++".$user->stat."++".$cur_step."++".$user->step); @@ -191,7 +206,10 @@ function maincheck($sess, $cur_stat, $cur_subst, $cur_step, &$new_stat, &$new_su if ($user->the_end == TRUE) { log_rd2($sess, "LOGOUT BYE BYE!!"); log_auth($user->sess, "Explicit logout."); + $tmp_sess = $user->sess; $user->sess = ""; + step_unproxy($tmp_sess); + $user->name = ""; $user->the_end = FALSE; @@ -257,7 +275,7 @@ for ($i = 0 ; time() < $endtime ; $i++) { $old_step = $step; // log_rd($sess, "POST MAIN ".$step);; usleep(200000); - if (($i % 5) == 0) { + if (($i % 10) == 0) { // log_rd2($sess, "TIME: ".time()); echo '_'; flush();