BUGFIX: removed side effect from getting the user's preferences: the language used could be overwritten by another user's choise

the DB_get_Prefs($myid) functions used to set the _SESSION variable for the language, but was also called with ids that belonged to other players overwriting the language settings with that from another user

5 files changed, 10 insertions, 1 deletions

diff --git a/include/db.php b/include/db.php
index cf39d85..0523fea 100644
--- a/include/db.php
+++ b/include/db.php
@@ -863,7 +863,7 @@ function DB_get_PREF($myid)
 	  break;
 	}
     }
-  $_SESSION['language'] =  $PREF['language'];
+
   return $PREF;
 }
 
diff --git a/include/game.php b/include/game.php
index 3890c02..f862fec 100644
--- 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);
+/* 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);
diff --git a/include/preferences.php b/include/preferences.php
index bd58eac..d3cbf92 100644
--- a/include/preferences.php
+++ b/include/preferences.php
@@ -49,6 +49,8 @@ display_user_menu($myid);
 
 /* get old infos */
 $PREF = DB_get_PREF($myid);
+/* set language chosen in preferences, will become active on the next reload (see index.php)*/
+$_SESSION['language'] = $PREF['language'];
 $timezone =  DB_get_user_timezone($myid);
 
 DB_update_user_timestamp($myid);
diff --git a/include/stats.php b/include/stats.php
index 8ab7c6a..f0d436b 100644
--- a/include/stats.php
+++ b/include/stats.php
@@ -35,6 +35,8 @@ if(!$myid)
   return;
 
 $PREF = DB_get_PREF($myid);
+/* set language chosen in preferences, will become active on the next reload (see index.php)*/
+$_SESSION['language'] = $PREF['language'];
 
 DB_update_user_timestamp($myid);
 
diff --git a/include/user.php b/include/user.php
index 3d0b729..1b3d83e 100644
--- a/include/user.php
+++ b/include/user.php
@@ -121,6 +121,8 @@ else
 	$_SESSION['name'] = $myname;
 
 	$PREF = DB_get_PREF($myid);
+	/* set language chosen in preferences, will become active on the next reload (see index.php)*/
+	$_SESSION['language'] = $PREF['language'];
 
 	DB_update_user_timestamp($myid);