BUGIFX+LAYOUT: gameids where still in the player menu; show table for new game setup

[e-DoKo.git] / functions.php

diff --git a/functions.php b/functions.php
index d738b0042910602fed7f35a7e2dc28cee38b535b..57945ef980ed863758a828f609f828809f955e13 100644 (file)
--- a/functions.php
+++ b/functions.php
@@ -818,7 +818,7 @@ function display_user_menu()
 
   while( $r = mysql_fetch_array($result,MYSQL_NUM))
     {
-      echo "<a href=\"".$host."?me=".$r[0]."\">game #".$r[1]." </a><br />\n";
+      echo "<a href=\"".$host."?me=".$r[0]."\">game ".DB_format_gameid($r[1])." </a><br />\n";
     }
   
   echo