X-Git-Url: http://mop.ddnsfree.com/gitweb/?a=blobdiff_plain;f=web%2Findex_wr.php;h=d7ccac2d88a892f8447d6baa61de40422b08dbdc;hb=408f27514f5af91523b71c284cff0b292865e867;hp=ea364cd9eba871edc86dc69fe13bd9db6dad972f;hpb=2ae8dac72522528be1c05fea5de272555d5330cf;p=brisk.git diff --git a/web/index_wr.php b/web/index_wr.php index ea364cd..d7ccac2 100644 --- a/web/index_wr.php +++ b/web/index_wr.php @@ -57,12 +57,18 @@ log_wr('POSTSPLIT: '.$argz[0]); if ($argz[0] == 'shutdown') { log_auth($user->sess, "Shutdown session."); + + $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; - + */ + log_rd2("AUTO LOGOUT."); if ($user->subst == 'sitdown' || $user->stat == 'table') $room->room_wakeup(&$user);