From bcf82bbe699d28a45c44c9c18d96466713e81bef Mon Sep 17 00:00:00 2001
From: Arun Persaud <arun@nubati.net>
Date: Tue, 19 Jun 2007 10:45:05 +0200
Subject: [PATCH 1/1] NEW FEATURE: show all hands at the end of a game

Now everyone can see all the cards at the end of a game.
---
 index.php | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

diff --git a/index.php b/index.php
index 3fa0fd1..f5c3d3d 100644
--- a/index.php
+++ b/index.php
@@ -1518,6 +1518,24 @@ else if(myisset("me"))
 	  echo "Your cards were: <br />\n";
 	  foreach($oldcards as $card) 
 	    display_card($card,$PREF["cardset"]);
+	  
+	  $userids = DB_get_all_userid_by_gameid($gameid);
+          foreach($userids as $user)
+            {
+              $userhash = DB_get_hash_from_gameid_and_userid($gameid,$user);
+	      
+              if($userhash!=$me)
+                {
+                  echo "<br />";
+		  
+                  $name = DB_get_name_by_userid($user);
+                  $oldcards = DB_get_all_hand($userhash);
+                  $oldcards = mysort($oldcards,$gametype);
+                  echo "$name's cards were: <br />\n";
+                  foreach($oldcards as $card)
+                    display_card($card,$PREF["cardset"]);
+                }
+            }
 	}
       echo "</div>\n";
       
-- 
2.25.1