also limited the amount of games that show up in the user menu if it is your turn
Signed-off-by: Arun Persaud <arun@nubati.net>
function display_user_menu()
{
global $WIKI,$myid,$INDEX;
function display_user_menu()
{
global $WIKI,$myid,$INDEX;
- echo "<div class=\"usermenu\">\n".
- "<a href=\"".$INDEX."\"> Go to my user page </a>";
+ echo "<div class=\"usermenu\">\n";
$result = DB_query("SELECT Hand.hash,Hand.game_id,Game.player from Hand".
" LEFT JOIN Game On Hand.game_id=Game.id".
$result = DB_query("SELECT Hand.hash,Hand.game_id,Game.player from Hand".
" LEFT JOIN Game On Hand.game_id=Game.id".
" AND Game.status<>'gameover'".
" ORDER BY Game.session" );
if(DB_num_rows($result))
" AND Game.status<>'gameover'".
" ORDER BY Game.session" );
if(DB_num_rows($result))
- echo "<hr />It's your turn in these games:<br />\n";
+ echo "It's your turn in these games:<br />\n";
while( $r = DB_fetch_array($result))
{
while( $r = DB_fetch_array($result))
{
echo "<a href=\"".$INDEX."?action=game&me=".$r[0]."\">game ".DB_format_gameid($r[1])." </a><br />\n";
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";
return;
}
echo "</div>\n";
return;
}
function output_status()
{
function output_status()
{
- global $defaulttimezone;
+ global $defaulttimezone,$INDEX,$WIKI;
if(isset($_SESSION["name"]))
{
$name = $_SESSION["name"];
/* logout info */
if(isset($_SESSION["name"]))
{
$name = $_SESSION["name"];
/* logout info */
- echo "\n<div class=\"status\">";
- echo $name;
- echo " <a href=\"index.php?action=logout\">logout</a>";
+ echo "\n<div class=\"status\">\n";
+ echo $name,"\n";
+ echo " | <a href=\"".$INDEX."\"> mypage </a>\n";
+ echo " | <a href=\"".$INDEX."?action=prefs\">settings</a>\n";
+ echo " | <a href=\"".$INDEX."?action=new\">new game</a>\n";
+ echo " | <a href=\"".$INDEX."?action=stats\">statistics</a>\n";
+ echo " | <a href=\"".$WIKI."\">wiki</a>\n";
+ echo " | <a href=\"".$INDEX."?action=logout\">logout</a>\n";
echo "</div>\n";
/* last logon time */
echo "</div>\n";
/* last logon time */