\n
\n";
return;
}
function output_form_for_new_game($names)
{
?>
\n";
else
echo " \n";
return;
}
function display_link_card($card,$dir="english",$type="card")
{
if( $card/2 - (int)($card/2) == 0.5)
echo "\n";
else
echo "\n";
return;
}
function output_check_for_sickness($me,$mycards)
{
?>
Thanks for joining the game...
do you want to play solo?
No
trumpless
trump
queen
jack
club
spade
heart
";
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 "
\n";
return;
}
function output_form_calls($me)
{
if( can_call(120,$me) )
echo " re/contra (120):".
" ";
if( can_call(90,$me) )
echo " 90:".
" ";
if( can_call(60,$me) )
echo " 60:".
" ";
if( can_call(30,$me) )
echo " 30:".
" ";
if( can_call(0,$me) )
echo " 0:".
" ".
" no call:".
" ";
}
function output_check_want_to_play($me)
{
?>
Do you want to play a game of DoKo?
yes
no
\n";
echo "\n";
echo " \n";
echo "
\n";
return;
}
function output_header()
{
global $REV;
?>
e-Doko
";
return;
}
function output_footer()
{
global $REV,$PREF;
echo "\n\n";
echo "\n";
echo "\n";
echo "\n";
return;
}
function output_status()
{
global $defaulttimezone;
if(isset($_SESSION["name"]))
{
$name = $_SESSION["name"];
/* logout info */
echo "\n";
echo $name;
echo "
logout ";
echo "
\n";
/* last logon time */
$myid = DB_get_userid("name",$name);
$zone = DB_get_user_timezone($myid);
$time = DB_get_user_timestamp($myid);
date_default_timezone_set($defaulttimezone);
$unixtime = strtotime($time);
date_default_timezone_set($zone);
echo "last login: ".date("r",$unixtime)."
\n";
};
return;
}
function output_select_timezone($name,$timezone="")
{
$Tzone = array ( "Europe/London" => "London",
"Europe/Berlin" => "Berlin",
"America/Vancouver" => "Berkeley",
"Pacific/Auckland" => "Wellington" );
echo " \n";
foreach($Tzone as $zone=>$city)
{
if($timezone==$zone)
echo " $city \n";
else
echo " $city \n";
}
echo " \n";
return;
}
function output_password_recovery($email,$password)
{
?>