function display_user_menu()
{
global $WIKI,$myid,$INDEX;
- echo "<div class=\"usermenu\">\n".
- "<a href=\"".$INDEX."\"> Go to my user page </a>";
$result = DB_query("SELECT Hand.hash,Hand.game_id,Game.player from Hand".
" LEFT JOIN Game On Hand.game_id=Game.id".
" AND Game.player='$myid'".
" AND Game.status<>'gameover'".
" ORDER BY Game.session" );
- if(DB_num_rows($result))
- echo "<hr />It's your turn in these games:<br />\n";
+ $i=0;
while( $r = DB_fetch_array($result))
{
- echo "<a href=\"".$INDEX."?action=game&me=".$r[0]."\">game ".DB_format_gameid($r[1])." </a><br />\n";
+ if($i==0)
+ {
+ echo "<div class=\"usermenu\">\n";
+ echo "It's your turn in these games:<br />\n";
+ }
+
+ $i++;
+ echo "<a href=\"".$INDEX."?action=game&me=".$r[0]."\">game ".DB_format_gameid($r[1])." </a><br />\n";
+ if($i>4)
+ {
+ echo "...<br />\n";
+ break;
+ }
}
- echo "<hr /> <a href=\"".$INDEX."?action=new\">Start a new game</a>\n";
-
- echo "<hr /> <a href=\"".$INDEX."?action=prefs\">Change settings</a>\n";
-
- echo "<hr /> <a href=\"".$INDEX."?action=stats\">Statistics</a>\n";
-
- echo
- "<hr />Report bugs in the <a href=\"".$WIKI."\">wiki</a>\n";
- echo "</div>\n";
+ if($i)
+ echo "</div>\n";
return;
}
function generate_global_score_table()
{
+ $return = array();
+
/* get all ids */
$gameids = DB_get_gameids_of_finished_games_by_session(0);
}
}
- echo "<table>\n <tr>\n";
function cmp($a,$b)
{
if($a['nr']==0 ) return 1;
return ($a > $b) ? -1 : 1;
}
usort($player,"cmp");
+
foreach($player as $pl)
{
+ /* limit to players with at least 10 games */
if($pl['nr']>10)
- echo " <tr><td>",$pl['name'],"</td><td>",round($pl['points']/$pl['nr'],3),"</td></tr>\n";
+ $return[] = array( $pl['name'], round($pl['points']/$pl['nr'],3) );
}
- echo "</table>\n";
- return;
+ return $return;
}