+function generate_score_table($session)
+{
+
+ /* get all ids */
+ $gameids = DB_get_gameids_of_finished_games_by_session($session);
+
+ if($gameids == NULL)
+ return "";
+
+ $output = "<div class=\"scoretable\">\n<table class=\"score\">\n <tr>\n";
+
+
+ /* get player id, names... from the first game */
+ $player = array();
+ $result = mysql_query("SELECT User.id, User.fullname from Hand".
+ " LEFT JOIN User On Hand.user_id=User.id".
+ " WHERE Hand.game_id=".$gameids[0]);
+ while( $r = mysql_fetch_array($result,MYSQL_NUM))
+ {
+ $player[] = array( 'id' => $r[0], 'points' => 0 );
+ $output.= " <td> ".substr($r[1],0,2)." </td>\n";
+ }
+ $output.=" <td>P</td>\n </tr>\n";
+
+ /* get points and generate table */
+ foreach($gameids as $gameid)
+ {
+ $output.=" <tr>\n";
+
+ $re_score = DB_get_score_by_gameid($gameid);
+ foreach($player as $key=>$pl)
+ {
+ $party = DB_get_party_by_gameid_and_userid($gameid,$pl['id']);
+ if($party == "re")
+ if(DB_get_gametype_by_gameid($gameid)=="solo")
+ $player[$key]['points'] += 3*$re_score;
+ else
+ $player[$key]['points'] += $re_score;
+ else if ($party == "contra")
+ $player[$key]['points'] -= $re_score;
+
+ $output.=" <td>".$player[$key]['points']."</td>\n";
+ }
+ $output.=" <td>".abs($re_score);
+
+ /* check for solo */
+ if(DB_get_gametype_by_gameid($gameid)=="solo")
+ $output.= " S";
+ $output.="</td>\n </tr>\n";
+ }
+
+ $output.="</table></div>\n";
+
+ return $output;
+}
+