/* get prefs and save them in a variable*/
$PREF = DB_get_PREF(isset($_SESSION['id'])?$_SESSION['id']:$myid);
+/* set language chosen in preferences, will become active on the next reload (see index.php)*/
+$_SESSION['language'] = $PREF['language'];
+
/* get rule set for this game */
$RULES = DB_get_RULES($gameid);
/* check if game is over, display results */
if(DB_get_game_status_by_gameid($gameid)=='play')
{
- echo _('The game is over for you... other people still need to play though');
+ $messages[] = _('The game is over for you... other people still need to play though');
}
break;
default: