function DB_get_unused_randomnumbers($userstr)
{
- $queryresult = mysql_query("SELECT randomnumbers,Game.id, COUNT(*) as num FROM Game ".
- " LEFT JOIN Hand ON Hand.game_id=Game.id ".
- " AND user_id not in (".$userstr.")".
- " GROUP BY Game.id ".
- " HAVING num=4");
+ $queryresult = mysql_query(" SELECT randomnumbers FROM Game".
+ " WHERE randomnumbers NOT IN".
+ " (SELECT randomnumbers FROM Game".
+ " LEFT JOIN Hand ON Game.id=Hand.game_id".
+ " WHERE user_id IN (". $userstr .")".
+ " GROUP BY randomnumbers".
+ " )");
+
$r = mysql_fetch_array($queryresult,MYSQL_NUM);
if($r)
return NULL;
}
+function DB_format_gameid($gameid)
+{
+ $session = DB_get_session_by_gameid($gameid);
+
+ /* get number of game */
+ $result = mysql_query("SELECT COUNT(*),create_date FROM Game WHERE session='$session' ".
+ " GROUP by session".
+ " HAVING TIMEDIFF(create_date, (SELECT create_date FROM Game WHERE id='$gameid'))<=0");
+ $r = mysql_fetch_array($result,MYSQL_NUM);
+
+ return $session.".".$r[0];
+}
+
?>
\ No newline at end of file