X-Git-Url: http://mop.ddnsfree.com/gitweb/?a=blobdiff_plain;f=web%2FObj%2Fbrisk.phh;h=62b7cb1d4e9cc1c2a52ec3e9378396c06d2ddc61;hb=ed1760b4812684de57aa109c2b03f16a33476878;hp=e39c6df94afaa927cfa644bb61ac03407c01c518;hpb=e237c587f30535a051593c11baeee82fd21edd4f;p=brisk.git diff --git a/web/Obj/brisk.phh b/web/Obj/brisk.phh index e39c6df..62b7cb1 100644 --- a/web/Obj/brisk.phh +++ b/web/Obj/brisk.phh @@ -62,7 +62,7 @@ define(BRISK_SINGLE_SESS, ""); $G_false = FALSE; $G_all_points = array( 11,10,4,3,2, 0,0,0,0,0 ); -$G_brisk_version = "spawn-0.10.4"; +$G_brisk_version = "spawn-0.10.5"; $root_wellarr = Array ( 'Benvenuto in brisk (Ver. '.$G_brisk_version.'), NOVITA\': dimensionamento dinamico dell\'area dati e ottimizzazione della stessa, versione beta2.', 'Se vuoi iscriverti alla Mailing List, cliccala!' ); @@ -643,6 +643,16 @@ class User { return (FALSE); } + + function reset() { + $tmp_sess = $this->sess; + $this->sess = ""; + step_unproxy($tmp_sess); + $this->name = ""; + while (array_pop($this->comm) != NULL); + $this->step = 0; + $this->the_end = FALSE; + } } // end class User @@ -818,12 +828,16 @@ class Room { if ($user_cur->stat == 'table' || $user_cur->stat == 'room') { log_auth($user_cur->sess, "Autologout session."); + $user_cur->reset(); + /* factorized with ->reset() $tmp_sess = $user_cur->sess; $user_cur->sess = ""; step_unproxy($tmp_sess); $user_cur->name = ""; + while (array_pop($user_cur->comm) != NULL); $user_cur->step = 0; $user_cur->the_end = FALSE; + */ log_rd2("AUTO LOGOUT."); if ($user_cur->subst == 'sitdown' || $user_cur->stat == 'table')