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 "<hr> <a href=\"".$host."?new\">start a new game</a>";
+
+
echo
"<hr />Report bugs in the <a href=\"". $wiki."\">wiki</a>\n";
echo "</div>\n";