garbage_manager(TRUE); log_main("post garbage_manager"); if (($user = &$room->get_user($sess, &$idx)) != FALSE) { log_main("user stat: ".$user->stat); if ($user->stat == "table") { if (Room::save_data(&$room) == FALSE) { echo "ERRORE SALVATAGGIO\n"; exit; } log_main("unlock Room"); Room::unlock_data($sem); setcookie("table_token", $user->table_token, $curtime + 31536000); setcookie("table_idx", $user->table, $curtime + 31536000); header ("Location: briskin5/index.php"); exit; } $ACTION = "room"; } if (Room::save_data(&$room) == FALSE) { echo "ERRORE SALVATAGGIO\n"; exit; } } if ($ACTION == "login" && isset($name)) { log_main("pre garbage_manager DUE"); if (isset($pass_private) == FALSE) { $pass_private = FALSE; } $room->garbage_manager(TRUE); /* try login */ if (($user = &$room->add_user(&$sess, &$idx, $name, $pass_private, $_SERVER['REMOTE_ADDR'])) != FALSE) { $ACTION = "room"; if ($idx < 0) { $idx = -$idx - 1; $login_exists = TRUE; } else $login_exists = FALSE; log_legal($curtime, $user, "STAT:LOGIN", ''); // recovery lost game if ($user->stat == "table") { if (Room::save_data(&$room) == FALSE) { echo "ERRORE SALVATAGGIO\n"; exit; } log_main("unlock Room"); Room::unlock_data($sem); setcookie("table_token", $user->table_token, $curtime + 31536000); setcookie("table_idx", $user->table, $curtime + 31536000); header ("Location: briskin5/index.php"); exit; } // setcookie ("sess", "", time() + 180); $room->standup_update(&$user); if (Room::save_data(&$room) == FALSE) { echo "ERRORE SALVATAGGIO\n"; exit; } } else { /* Login Rendering */ /* MLANG: "Utente e/o password errati.", "Il nickname deve contenere almeno una lettera o una cifra.", "Spiacenti, non ci sono più posti liberi. Riprova più tardi.", "Il tuo nickname è già in uso." */ if ($idx == -3) $body .= '
';
$tables .= ' Tavolo '.$i.' ';
$tables .= sprintf('', $i);
$tables .= sprintf('', $i);
$tables .= ' | '."\n";
if ($i % 4 == 3)
$tables .= '
';
$standup .= ' ';
/* MLANG: "Giocatori in piedi", "Come ottenere user e password" */
// $standup .= ' Giocatori in piedi - Come ottenere user e password - ';
$standup .= 'Giocatori in piedi ';
$standup .= sprintf('');
$standup .= '';
$standup .= ' |
'.($G_is_local ? '' :
'
'
).' |
'.($G_with_topbanner ? '
|
'.($G_is_local ? '' :
'
'
).' |