\n";
if( $PREF["email"] == "emailaddict" )
echo "Change to non-addicted mode (emails for each move) ";
else
echo "Change to addicted mode (minimal amount of emails) ";
echo "\n";
return;
}
function output_ask_for_new_game($playerA,$playerB,$playerC,$playerD,$oldgameid)
{
global $RULES;
echo "Do you want to continue playing?(This will start a new game, with the next person as dealer.)\n";
echo " \n";
echo " \n";
echo " \n";
echo " \n";
echo " \n";
echo " \n";
echo " \n";
echo " \n";
echo " \n";
return;
}
function output_form_for_new_game($names)
{
?>
Players
Please select four players (or use the randomly pre-selected names)
\n";
return;
}
function output_check_for_sickness($me,$mycards)
{
?>
Thanks for joining the game...
do you want to play solo?
";
echo " no \n";
}
else
{
echo " no \n";
};
echo "Do you have poverty?";
if(count_trump($mycards)<4)
{
echo " yes";
echo " no \n";
}
else
{
echo " no \n";
};
echo "Do you have too many nines?";
if(count_nines($mycards)>4)
{
echo " yes";
echo " no \n";
}
else
{
echo " no \n";
};
echo "\n";
echo "\n";
echo "
Do you want to play a game of DoKo?
yes
no
\n";
echo "\n";
echo "\n";
echo "
\n";
return;
}
function output_home_page($pre,$game,$done,$avgtime)
{
?>
If you want to play a game of Doppelkopf, you found the right place ;)
At the moment there are no games that are being started ";
else if($pre==1)
echo "
At the moment there is one games that is being started ";
else
echo "
At the moment there are $pre games that are being started ";
echo "and ";
if($game==0)
echo "zero games that are ongoing. ";
else if($game==1)
echo "one game that is ongoing. ";
else
echo "$game games that are ongoing. ";
echo " \n";
if($done==0)
echo "No game has been completed on this server.
";
else if($done==1)
echo "One game has been completed on this server. ";
else
echo "$done games have been completed on this server. Average time of a game: $avgtime days";
?>
Please register, in case you have not done that yet
or login with you email-address or name and password here:
![\"".DB_get_card_name($card)."\"](\"cards/".$dir."/".$card.".png\")
![\"".DB_get_card_name($card-1)."\"](\"cards/".$dir."/".($card-1).".png\")
\n";
return;
}
function display_link_card($card,$dir="english",$type="card")
{
if( $card/2 - (int)($card/2) == 0.5)
echo "