+ $row0 = DB_fetch_array($result);
+ $row1 = DB_fetch_array($result);
+ $row2 = DB_fetch_array($result);
+ $row3 = DB_fetch_array($result);
+
+ echo "<div class=\"table\">\n";
+ display_single_user($row1);
+ echo "\n<div class=\"middle\">\n";
+ display_single_user($row0,1); /* mark starting player in case re/contra is not set yet */
+ echo " <img class=\"table\" src=\"pics/table.png\" alt=\"table\" />\n";
+ display_single_user($row2);
+
+ return;
+}
+function display_table_end ()
+{
+ global $gameid, $GT, $debug,$INDEX,$defaulttimezone,$session;
+ global $RULES,$GAME,$gametype;
+
+ $result = DB_query("SELECT User.fullname as name,".
+ " Hand.position as position, ".
+ " User.id, ".
+ " Hand.party as party, ".
+ " Hand.sickness as sickness, ".
+ " Hand.point_call, ".
+ " User.last_login, ".
+ " Hand.hash, ".
+ " User.timezone, ".
+ " User.email ".
+ "FROM Hand ".
+ "LEFT JOIN User ON User.id=Hand.user_id ".
+ "WHERE Hand.game_id='".$gameid."' ".
+ "ORDER BY position ASC");
+
+ $row0 = DB_fetch_array($result);
+ $row1 = DB_fetch_array($result);
+ $row2 = DB_fetch_array($result);
+ $row3 = DB_fetch_array($result);
+
+ echo "</div>\n";
+ display_single_user($row3);
+ echo "</div>\n";
+
+ return;
+}
+
+function display_single_user($r,$start=0)
+{
+ /* start=1, mark starting player, default=0, so the player on the left is not marked */
+
+ global $gameid, $GT, $debug,$INDEX,$defaulttimezone,$session;
+ global $RULES,$GAME,$gametype;
+