diff options
author | Arun Persaud <arun@nubati.net> | 2008-10-20 19:54:13 -0700 |
---|---|---|
committer | Arun Persaud <arun@nubati.net> | 2008-10-20 20:34:17 -0700 |
commit | 2666bb58429c385b716d2ffd5d5fe9a9e7af4f45 (patch) | |
tree | 8b47bb79a20981ccc123d3e18587dcad4da89ebc /include/user.php | |
parent | e1b3eaa640a1e4249b8406e946bd65e902aadfb9 (diff) | |
download | e-DoKo-2666bb58429c385b716d2ffd5d5fe9a9e7af4f45.tar.gz e-DoKo-2666bb58429c385b716d2ffd5d5fe9a9e7af4f45.tar.bz2 e-DoKo-2666bb58429c385b716d2ffd5d5fe9a9e7af4f45.zip |
BUGFIX: make user menu and personal notes appear again
had them only shown when player was logged in, but there is really no reason to not show them to players who are not logged in in an ongoing game (only the correct player should get to a page with an ongoing game)
Signed-off-by: Arun Persaud <arun@nubati.net>
Diffstat (limited to 'include/user.php')
-rw-r--r-- | include/user.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/include/user.php b/include/user.php index 67c720a..be0d68a 100644 --- a/include/user.php +++ b/include/user.php @@ -103,7 +103,7 @@ else DB_update_user_timestamp($myid); - display_user_menu(); + display_user_menu($myid); /* display all games the user has played */ echo "<div class=\"user\">"; |