diff options
| author | Arun Persaud <arun@nubati.net> | 2012-05-08 21:25:49 -0700 |
|---|---|---|
| committer | Arun Persaud <arun@nubati.net> | 2012-05-08 21:31:26 -0700 |
| commit | 1e258af4136567ab30ce9b54aee751077f80590e (patch) | |
| tree | d29a58e77e1ccef6527c32f83f52461569f03103 /include/preferences.php | |
| parent | d760c835fcf5444dd1a0b2997e6eb5744e0be952 (diff) | |
| download | e-DoKo-1e258af4136567ab30ce9b54aee751077f80590e.tar.gz e-DoKo-1e258af4136567ab30ce9b54aee751077f80590e.tar.bz2 e-DoKo-1e258af4136567ab30ce9b54aee751077f80590e.zip | |
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
Diffstat (limited to 'include/preferences.php')
| -rw-r--r-- | include/preferences.php | 2 |
1 files changed, 2 insertions, 0 deletions
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); |