if($debug)
{
+ /* display email on screen,
+ * change txt -> html
+ */
$message = str_replace("\n","<br />\n",$message);
$message = ereg_replace("[[:alpha:]]+://[^<>[:space:]]+[[:alnum:]/]",
"<a href=\"\\0\">\\0</a>", $message);
if( $b/2 - (int)($b/2) != 0.5)
$b--;
- /* some special cases */
+ /* check for schweinchen and ten of hearts*/
switch($game)
{
case "normal":
case "silent":
+ case "trump":
if($RULES["schweinchen"]=="both" && $GAME["schweinchen"])
{
if($a == 19 || $a == 20 )
if($b == 19 || $b == 20 )
return 0;
};
- case "trump":
case "heart":
case "spade":
case "club":
+ /* check for ten of hearts rule */
if($RULES["dullen"]=="secondwins")
if($a==1 && $b==1) /* both 10 of hearts */
return 0; /* second one wins.*/
+ case "trumpless":
+ case "jack":
+ case "queen":
+ /* no special cases here */
}
/* normal case */
function display_user_menu()
{
- global $wiki,$myid,$INDEX,$STATS;
+ global $WIKI,$myid,$INDEX,$STATS;
echo "<div class=\"usermenu\">\n".
"<a href=\"".$INDEX."\"> Go to my user page </a>";
echo "<hr /> <a href=\"".$STATS."\">Statistics</a>\n";
echo
- "<hr />Report bugs in the <a href=\"".$wiki."\">wiki</a>\n";
+ "<hr />Report bugs in the <a href=\"".$WIKI."\">wiki</a>\n";
echo "</div>\n";
return;
}