BUGFIX: removed side effect from getting the user's preferences: the language used...

[e-DoKo.git] / include / game.php

diff --git a/include/game.php b/include/game.php
index 3890c0299b2660b377ab838a3104e8c0aa134acc..f862fecbbb94aad4f4c86ded1bed245285591d77 100644 (file)
--- a/include/game.php
+++ b/include/game.php
@@ -57,6 +57,9 @@ $playid   = DB_get_current_playid($gameid); /* might be -1 at beginning of the g
 
 /* get prefs and save them in a variable*/
 $PREF = DB_get_PREF(isset($_SESSION['id'])?$_SESSION['id']:$myid);
 
 /* 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);
 
 /* get rule set for this game */
 $RULES = DB_get_RULES($gameid);