diff options
Diffstat (limited to 'include')
| -rw-r--r-- | include/db.php | 2 | ||||
| -rw-r--r-- | include/game.php | 3 | ||||
| -rw-r--r-- | include/preferences.php | 2 | ||||
| -rw-r--r-- | include/stats.php | 2 | ||||
| -rw-r--r-- | include/user.php | 2 |
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); |