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/user.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/user.php')
| -rw-r--r-- | include/user.php | 2 |
1 files changed, 2 insertions, 0 deletions
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); |