$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.'), <b>NOVITA\'</b>: dimensionamento dinamico dell\'area dati e ottimizzazione della stessa, versione beta2.',
'Se vuoi iscriverti alla <a target="_blank" href="http://www.milug.org/cgi-bin/mailman/listinfo/ml-briscola">Mailing List</a>, cliccala!' );
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);
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);