foreach($args as $arg)
{
$ok = $ok * isset($_REQUEST[$arg]);
- /* echo "$arg: ok = $ok <br />";
- */
+ /*echo "$arg: ok = $ok <br />";
+ */
}
return $ok;
}
}
}
+function mysort($cards,$gametype)
+{
+ global $TRUMP,$DIAMONDS,$HEARTS,$CLUBS,$SPADES;
+
+ switch($gametype) {
+ case normal:
+ case trump:
+ default:
+ $ALL = array_merge($TRUMP,$DIAMONDS,$CLUBS,$HEARTS,$SPADES,$DIAMONDS);
+ break;
+ }
+
+ $compare = create_function("$a, $b", "return pos_array($a,$ALL)-pos_array($b,$ALL);");
+
+ usort ( $cards, $compare );
+
+ return;
+}
+
+
?>
\ No newline at end of file