X-Git-Url: https://git.nubati.net/cgi-bin/gitweb.cgi?p=e-DoKo.git;a=blobdiff_plain;f=include%2Ffunctions.php;h=7bdfd31d8121868d4a81c081a6a58347ad2c50c0;hp=0559895fbd1ef3684a0c618cf0ab1f83ed5ec1ec;hb=cdf3b418ca71babb4336243ccdd741bbd5970d4d;hpb=8e50d2401a3379114bf58d9532589af0a5bae2ca

diff --git a/include/functions.php b/include/functions.php
index 0559895..7bdfd31 100644
--- a/include/functions.php
+++ b/include/functions.php
@@ -922,7 +922,7 @@ function display_table ()
       echo "    <br />\n";
       echo "    <span title=\"local time: ".date("Y-m-d H:i:s",$timenow).  " ".
 	                     "last login: ".date("Y-m-d H:i:s",$lastlogin)."\">".
-			     "<img src=\"pics/button/time-info.png\" class=\"button\" alt-\"time info\" />".
+			     "<img src=\"pics/button/time-info.png\" class=\"tinybutton\" alt=\"time info\" />".
 			     "</span>\n";
       echo "   </div>\n";
 
@@ -942,7 +942,7 @@ function display_user_menu($id)
 		     " LEFT JOIN Game On Hand.game_id=Game.id".
 		     " WHERE Hand.user_id='$id'".
 		     " AND ( Game.player='$id' OR ISNULL(Game.player) )".
-		     " AND Game.status<>'gameover'".
+		     " AND ( Game.status='pre' OR Game.status='play' )".
 		     " ORDER BY Game.session" );
 
   $i=0;
@@ -1253,4 +1253,35 @@ function check_vacation($userid)
     return NULL;
 }
 
+function cancel_game($why,$gameid)
+{
+  $gameid = DB_quote_smart($gameid);
+
+  /* update the game table */
+  switch($why)
+    {
+    case 'timedout':
+      DB_query("UPDATE Game SET status='cancel-timedout' WHERE id=$gameid");
+      break;
+    case 'nines':
+      DB_query("UPDATE Game SET status='cancel-nines' WHERE id=$gameid");
+      break;
+    case 'trump':
+      DB_query("UPDATE Game SET status='cancel-trump' WHERE id=$gameid");
+      break;
+    case 'noplay':
+      DB_query("UPDATE Game SET status='cancel-noplay' WHERE id=$gameid");
+      break;
+    }
+  /* set each player to gameover */
+  $result = DB_query("SELECT id FROM Hand WHERE game_id=".DB_quote_smart($gameid));
+  while($r = DB_fetch_array($result))
+    {
+      $id = $r[0];
+      DB_query("UPDATE Hand SET status='gameover' WHERE id=".DB_quote_smart($id));
+    }
+
+  return;
+}
+
 ?>