return $cards;
}
+function DB_get_all_hand($me)
+{
+ $cards = array();
+
+ $handid = DB_get_handid_by_hash($me);
+
+ $result = mysql_query("SELECT card_id FROM Hand_Card WHERE hand_id=".DB_quote_smart($handid));
+ while($r = mysql_fetch_array($result,MYSQL_NUM))
+ $cards[]=$r[0];
+
+ return $cards;
+}
+
function DB_get_cards_by_trick($id)
{
$cards = array();
return;
}
+function DB_get_session_by_gameid($id)
+{
+ $result = mysql_query("SELECT session FROM Game WHERE id=".DB_quote_smart($id));
+ $r = mysql_fetch_array($result,MYSQL_NUM);
+
+ if($r)
+ return $r[0];
+ else
+ return NULL;
+}
+
+function DB_get_max_session()
+{
+ $result = mysql_query("SELECT MAX(session) FROM Game");
+ $r = mysql_fetch_array($result,MYSQL_NUM);
+
+ if($r)
+ return $r[0];
+ else
+ return 0;
+}
+
+
?>
\ No newline at end of file