From 2e9d5e97305ccbd1b975013511922f924d53fffd Mon Sep 17 00:00:00 2001 From: Arun Persaud Date: Sun, 29 Jul 2007 19:12:11 -0700 Subject: BUGIFX+LAYOUT: gameids where still in the player menu; show table for new game setup fixed last commit. for new games, the table is now shown and one can select the place people are sitting better. --- functions.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'functions.php') diff --git a/functions.php b/functions.php index d738b00..57945ef 100644 --- a/functions.php +++ b/functions.php @@ -818,7 +818,7 @@ function display_user_menu() while( $r = mysql_fetch_array($result,MYSQL_NUM)) { - echo "game #".$r[1]."
\n"; + echo "game ".DB_format_gameid($r[1])."
\n"; } echo -- cgit v1.2.3-18-g5258