+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' ".
+ " AND TIMEDIFF(create_date, (SELECT create_date FROM Game WHERE id='$gameid'))<=0 ".
+ " GROUP by session");
+ $r = mysql_fetch_array($result,MYSQL_NUM);
+
+ return $session.".".$r[0];
+}
+
+function DB_get_reminder($user,$gameid)
+{
+ $queryresult = mysql_query("SELECT COUNT(*) FROM Reminder ".
+ " WHERE user_id=$user ".
+ " AND game_id=$gameid ".
+ " AND DATE_SUB(CURDATE(),INTERVAL 1 DAY) <= create_date".
+ " GROUP BY user_id " );
+
+ $r = mysql_fetch_array($queryresult,MYSQL_NUM);
+ if($r)
+ return $r[0];
+ else
+ return 0;
+}
+
+function DB_set_reminder($user,$gameid)
+{
+ mysql_query("INSERT INTO Reminder ".
+ " VALUES(NULL, ".DB_quote_smart($user).", ".DB_quote_smart($gameid).
+ ", NULL) ");
+ return 0;
+}
+
+function DB_is_session_active($session)
+{
+ $queryresult = mysql_query("SELECT COUNT(*) FROM Game ".
+ " WHERE session=$session ".
+ " AND status<>'gameover' ");
+
+ $r = mysql_fetch_array($queryresult,MYSQL_NUM);
+ if($r)
+ return $r[0];
+ else
+ return -1;
+}
+
+function DB_get_score_by_gameid($gameid)
+{
+ /* returns the points of a game from the point of the re parth (<0 if they lost) */
+ $queryresult = mysql_query("SELECT COUNT(*),party FROM Score ".
+ " WHERE game_id=$gameid ".
+ " GROUP BY party ");
+
+ $re = 0;
+ $contra = 0;
+
+ while($r = mysql_fetch_array($queryresult,MYSQL_NUM) )
+ {
+ if($r[1] == "re")
+ $re += $r[0];
+ else if ($r[1] == "contra")
+ $contra += $r[0];
+ };
+
+ return ($re - $contra);
+}
+
+function DB_get_gameids_of_finished_games_by_session($session)
+{
+ $ids = array ();
+
+ $queryresult = mysql_query("SELECT id FROM Game ".
+ " WHERE session=$session ".
+ " AND status='gameover' ".
+ " ORDER BY create_date ASC");
+
+ $i=0;
+ while($r = mysql_fetch_array($queryresult,MYSQL_NUM) )
+ {
+ $ids[$i] = $r[0];
+ $i++;
+ }
+
+ return $ids;
+}
+
+function DB_get_card_value_by_cardid($id)
+{
+ $queryresult = mysql_query("SELECT points FROM Card ".
+ " WHERE id=$id ");
+
+ $r = mysql_fetch_array($queryresult,MYSQL_NUM);
+ if($r)
+ return $r[0];
+ else
+ return NULL;
+}
+