From 4b94fd36ed89060493ac80d89db3c1e304b13623 Mon Sep 17 00:00:00 2001
From: arun <arun@nubati.net>
Date: Tue, 10 Apr 2007 08:58:23 +0000
Subject: [PATCH] removed one debug message; added timestamp update for game
 when playing a card

---
 db.php    | 7 +++++++
 index.php | 6 ++++--
 2 files changed, 11 insertions(+), 2 deletions(-)

diff --git a/db.php b/db.php
index 31098d4..b3651bd 100644
--- a/db.php
+++ b/db.php
@@ -446,6 +446,13 @@ function DB_get_all_names()
   return $names;
 }
 
+function DB_update_game_timestamp($gameid)
+{
+  mysql_query("UPDATE Game SET mod_date = CURRENT_TIMESTAMP WHERE id=".DB_quote_smart($gameid));
+  return;
+}
+
+
 function DB_update_user_timestamp($userid)
 {
   mysql_query("UPDATE User SET last_login = CURRENT_TIMESTAMP WHERE id=".DB_quote_smart($userid));
diff --git a/index.php b/index.php
index 7addf0e..a0029f0 100644
--- a/index.php
+++ b/index.php
@@ -790,9 +790,11 @@ else if(myisset("me"))
 	      /* mark card as played */
 	      mysql_query("UPDATE Hand_Card SET played='true' WHERE hand_id='$handid' AND card_id=".
 			  DB_quote_smart($card));
-	      
+	      /* update Game timestamp */
+	      DB_update_game_timestamp($gameid);
+
 	      /* check for schweinchen */
-	      echo "schweinchen = ".$GAME["schweinchen"]." --$card-<br />";
+	      //echo "schweinchen = ".$GAME["schweinchen"]." --$card-<br />";
 	      if($card == 19 || $card == 20 )
 		{
 		  $GAME["schweinchen"]++;
-- 
2.25.1