CLEANUP: cleaned up some debug message and error checking

[e-DoKo.git] / include / functions.php

diff --git a/include/functions.php b/include/functions.php
index 0559895fbd1ef3684a0c618cf0ab1f83ed5ec1ec..7bdfd31d8121868d4a81c081a6a58347ad2c50c0 100644 (file)
--- 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;
+}
+
 ?>