LAYOUT: add names of players to end of score table for long sessions

[e-DoKo.git] / include / user.php

diff --git a/include/user.php b/include/user.php
index 67c720a2b6562ecc841f39e5cae218b4ade78871..be0d68a5b08740252cbe3f7af9fa13f236b3b5db 100644 (file)
--- 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\">";