X-Git-Url: http://mop.ddnsfree.com/gitweb/?a=blobdiff_plain;f=web%2Findex_rd.php;h=e0dee240f03f7c2784f0977ddc894a1f020d5232;hb=4da67a046c1a8d0f26281dacabf3acff9623efd1;hp=6c636b8f80302e6332e4fbc68dceb0c9f8a430e4;hpb=e8dc1380509c5fe947b8be3ad44afc671515f871;p=brisk.git diff --git a/web/index_rd.php b/web/index_rd.php index 6c636b8..e0dee24 100644 --- a/web/index_rd.php +++ b/web/index_rd.php @@ -22,8 +22,14 @@ */ require_once("Obj/brisk.phh"); +// require_once("Obj/proxyscan.phh"); require_once("briskin5/Obj/briskin5.phh"); +// Use of proxies isn't allowed. +// if (is_proxy()) { +// sleep(5); +// exit; +//} log_load("index_rd.php"); $first_loop = TRUE; @@ -174,13 +180,15 @@ function maincheck($sess, $cur_stat, $cur_subst, $cur_step, &$new_stat, &$new_su ignore_user_abort(FALSE); } else { - log_rd2("TRANS NON ATTIVATO, clean del comm array"); - while (($el = array_pop($user->comm)) != NULL) { - log_rd2("clean element [".$el."]"); - } - // $user->step_inc(COMM_N + 1); - Room::save_data($room); - // $new_step = $user->step; + log_rd2("TRANS NON ATTIVATO"); +// ARRAY_POP DISABLED +// log_rd2("TRANS NON ATTIVATO, clean del comm array"); +// while (($el = array_pop($user->comm)) != NULL) { +// log_rd2("clean element [".$el."]"); +// } +// // $user->step_inc(COMM_N + 1); +// Room::save_data($room); +// // $new_step = $user->step; Room::unlock_data($sem); ignore_user_abort(FALSE); @@ -246,13 +254,18 @@ function maincheck($sess, $cur_stat, $cur_subst, $cur_step, &$new_stat, &$new_su if ($user->the_end == TRUE) { log_rd2("LOGOUT BYE BYE!!"); log_auth($user->sess, "Explicit logout."); + + $user->reset(); + /* factorized with ->reset() $tmp_sess = $user->sess; $user->sess = ""; step_unproxy($tmp_sess); - $user->name = ""; + while (array_pop($user->comm) != NULL); + $user->step = 0; $user->the_end = FALSE; - + */ + if ($user->subst == 'sitdown') { log_load("ROOM WAKEUP"); $room->room_wakeup(&$user); @@ -320,8 +333,8 @@ for ($i = 0 ; time() < $endtime ; $i++) { $old_subst = $subst; $old_step = $step; // log_rd("POST MAIN ".$step);; - usleep(400000); - if (($i % 5) == 0) { + usleep(200000); + if (($i % 10) == 0) { // log_rd2("TIME: ".time()); echo '_'; flush();