BUGFIX: store canceled games, don't delete them
[e-DoKo.git] / include / functions.php
index ecb9811a4028bade70286e75b56e22d9d47cb21b..981cabc76010662840bb9573118d0423b08cece6 100644 (file)
@@ -54,10 +54,50 @@ function config_check()
   return;
 }
 
-function mymail($To,$Subject,$message,$header="")
+function mymail($uid,$subject,$message)
 {
+  global $EmailName;
+
+  /* check if user wants email right away or if we should save it in
+   * the database for later delivery
+   */
+  if(0)
+    {
+      /* send to database (not yet implemented)*/
+    }
+  else
+    {
+      /* send email right away */
+
+      /* add standard header and footer */
+      $subject = "$EmailName".$subject;
+
+      /* standard greeting */
+      $name    = DB_get_name('userid',$uid);
+      $header  = "Hello $name\n\n";
+
+      /* and standard goodbye */
+      $footer  = "\nHave a nice day\n".
+       "   your E-Doko service department\n\n".
+       "-- \n".
+       "You can change your mail delivery mode in the preference menu.\n".
+       'web: http://doko.nubati.net   '.
+       'help: http://wiki.nubati.net/EmailDoko   '.
+       'bugs: http://wiki.nubati.net/EmailDokoIssues';
+
+      $To = DB_get_email('userid',$uid);
+
+      sendmail($To,$subject,$header.$message.$footer);
+    }
+}
+
+function sendmail($To,$Subject,$message)
+{
+  /* this function sends the mail or outputs to the screen in case of debugging */
   global $debug,$EMAIL_REPLY;
 
+  $header = "";
+
   if(isset($EMAIL_REPLY))
     $header .= "From: e-DoKo daemon <$EMAIL_REPLY>\r\n";
 
@@ -104,7 +144,7 @@ function myisset()
 function myerror($message)
 {
   echo "<span class=\"error\">".htmlspecialchars($message)."</span>\n";
-  mymail($ADMIN_EMAIL,$EmailName." Error in Code",$message);
+  sendmail($ADMIN_EMAIL,$EmailName." Error in Code",$message);
   return;
 }
 
@@ -329,17 +369,22 @@ function check_wedding($cards)
   return 0;
 }
 
-function count_trump($cards)
+function count_trump($cards,$status='pregame')
 {
   global $RULES;
 
   $trump = 0;
 
-  /* count each trump, including the foxes */
+  /* count each trump, including the foxes, since this is used to determine poverty status */
   foreach($cards as $c)
     if( (int)($c) <27)
       $trump++;
 
+  /* In case we really want to know the amount of trump, we can use the status variable.
+   * This is needed for example to figure out what icon to display on the table in case of
+   * trump given back in poverty */
+  if($status=='all') return $trump;
+
   /* normally foxes don't count as trump, so we substract them here
    * in case someone has schweinchen, one or two of them should count as trump
    * though, so we need to add one trump for those cases */
@@ -608,21 +653,39 @@ function set_gametype($gametype)
 
 function mysort($cards,$gametype)
 {
-  usort ( $cards, "sort_comp" );
+  global $PREF;
+  if(isset($PREF['sorting']))
+    if($PREF['sorting']=='high-low')
+      usort ( $cards, 'sort_comp_high_low' );
+    else
+      usort ( $cards, 'sort_comp_low_high' );
+  else
+    usort ( $cards, 'sort_comp_high_low' );
   return $cards;
 }
 
-function sort_comp($a,$b)
+function sort_comp_high_low($a,$b)
 {
   global $CARDS;
 
   $ALL = array();
-  $ALL = array_merge($CARDS["trump"],$CARDS["diamonds"],$CARDS["clubs"],
-                    $CARDS["hearts"],$CARDS["spades"]);
+  $ALL = array_merge($CARDS['trump'],$CARDS['diamonds'],$CARDS['clubs'],
+                    $CARDS['hearts'],$CARDS['spades']);
 
   return pos_array($a,$ALL)-pos_array($b,$ALL);
 }
 
+function sort_comp_low_high($a,$b)
+{
+  global $CARDS;
+
+  $ALL = array();
+  $ALL = array_merge($CARDS['trump'],$CARDS['diamonds'],$CARDS['clubs'],
+                    $CARDS['hearts'],$CARDS['spades']);
+
+  return -pos_array($a,$ALL)+pos_array($b,$ALL);
+}
+
 function can_call($what,$hash)
 {
   global $RULES;
@@ -709,7 +772,7 @@ function can_call($what,$hash)
 
 function display_table ()
 {
-  global $gameid, $GT, $debug,$INDEX,$defaulttimezone;
+  global $gameid, $GT, $debug,$INDEX,$defaulttimezone,$session;
   global $RULES,$GAME,$gametype;
 
   $result = DB_query("SELECT  User.fullname as name,".
@@ -744,10 +807,22 @@ function display_table ()
       $timenow   = strtotime(date("Y-m-d H:i:s"));
 
       echo "  <div class=\"table".($pos-1)."\">\n";
-      if(!$debug)
-       echo "   $name \n";
+
+      if($debug)
+       echo "   <a href=\"".$INDEX."?action=game&amp;me=".$hash."\">";
+      if($vacation = check_vacation($user))
+       {
+         $start   = $vacation[0];
+         $stop    = substr($vacation[1],0,10);
+         $comment = $vacation[2];
+
+             $title = "begin: $start  end: $stop $comment";
+             echo "   <span class=\"vacation\" title=\"$title\">$name (on vacation until $stop)</span> \n";
+       }
       else
-       echo "   <a href=\"".$INDEX."?action=game&amp;me=".$hash."\">$name</a>\n";
+       echo "   $name \n";
+      if($debug)
+       echo"</a>\n";
 
       /* add hints for poverty, wedding, solo, etc */
       if( $gametype != "solo")
@@ -759,14 +834,14 @@ function display_table ()
          {
            $userhash = DB_get_hash_from_gameid_and_userid($gameid,$user);
            $cards    = DB_get_all_hand($userhash);
-           $trumpNR  = count_trump($cards);
+           $trumpNR  = count_trump($cards,'all');
            if($trumpNR)
-             echo "   <img src=\"pics/button/poverty_trump_button.png\" class=\"button\" alt=\"poverty < trump back\" />";
+             echo "   <img src=\"pics/button/poverty_trump_button.png\" class=\"button\" alt=\"poverty < trump back\" title=\"poverty - trump back\" />";
            else
-             echo "   <img src=\"pics/button/poverty_notrump_button.png\" class=\"button\" alt=\"poverty <\" />";
+             echo "   <img src=\"pics/button/poverty_notrump_button.png\" class=\"button\" alt=\"poverty <\" title=\"poverty - no trump back\" />";
          }
        else
-         echo "   <img src=\"pics/button/poverty_partner_button.png\" class=\"button\" alt=\"poverty >\" />";
+         echo "   <img src=\"pics/button/poverty_partner_button.png\" class=\"button\" alt=\"poverty >\" title=\"poverty partner\" />";
 
       if($GT=="dpoverty")
        if($party=="re")
@@ -774,79 +849,81 @@ function display_table ()
            {
              $userhash = DB_get_hash_from_gameid_and_userid($gameid,$user);
              $cards    = DB_get_all_hand($userhash);
-             $trumpNR  = count_trump($cards);
+             $trumpNR  = count_trump($cards,'all');
              if($trumpNR)
-               echo "   <img src=\"pics/button/poverty_trump_button.png\" class=\"button\" alt=\"poverty < trump back\" />";
+               echo "   <img src=\"pics/button/poverty_trump_button.png\" class=\"button\" alt=\"poverty < trump back\" title=\"poverty - trump back\" />";
              else
-               echo "   <img src=\"pics/button/poverty_notrump_button.png\" class=\"button\" alt=\"poverty <\" />";
+               echo "   <img src=\"pics/button/poverty_notrump_button.png\" class=\"button\" alt=\"poverty <\" title=\"poverty - no trump back\" />";
            }
          else
-           echo "   <img src=\"pics/button/poverty_partner_button.png\" class=\"button\" alt=\"poverty >\" />";
+           echo "   <img src=\"pics/button/poverty_partner_button.png\" class=\"button\" alt=\"poverty >\" title=\"poverty partner\" />";
        else
          if($sickness=="poverty")
            {
              $userhash = DB_get_hash_from_gameid_and_userid($gameid,$user);
              $cards    = DB_get_all_hand($userhash);
-             $trumpNR  = count_trump($cards);
+             $trumpNR  = count_trump($cards,'all');
              if($trumpNR)
-               echo "   <img src=\"pics/button/poverty2_trump_button.png\" class=\"button\" alt=\"poverty2 < trump back\" />";
+               echo "   <img src=\"pics/button/poverty2_trump_button.png\" class=\"button\" alt=\"poverty2 < trump back\" title=\"poverty2 - trump back\"/>";
              else
-               echo "   <img src=\"pics/button/poverty2_notrump_button.png\" class=\"button\" alt=\"poverty2 <\" />";
+               echo "   <img src=\"pics/button/poverty2_notrump_button.png\" class=\"button\" alt=\"poverty2 <\" title=\"poverty2 - no trump back\" />";
            }
          else
-           echo "   <img src=\"pics/button/poverty2_partner_button.png\" class=\"button\" alt=\"poverty2 >\" />";
+           echo "   <img src=\"pics/button/poverty2_partner_button.png\" class=\"button\" alt=\"poverty2 >\" title=\"poverty2 partner\" />";
 
       if($GT=="wedding" && $party=="re")
        if($sickness=="wedding")
-         echo "   <img src=\"pics/button/wedding_button.png\" class=\"button\" alt=\"wedding\" />";
+         echo "   <img src=\"pics/button/wedding_button.png\" class=\"button\" alt=\"wedding\" title=\"wedding\" />";
        else
-         echo "   <img src=\"pics/button/wedding_partner_button.png\" class=\"button\" alt=\"wedding partner\" />";
+         echo "   <img src=\"pics/button/wedding_partner_button.png\" class=\"button\" alt=\"wedding partner\" title=\"wedding partner\" />";
 
       if(ereg("solo",$GT) && $party=="re")
        {
          if(ereg("queen",$GT))
-           echo "   <img src=\"pics/button/queensolo_button.png\" class=\"button\" alt=\"$GT\" />";
+           echo "   <img src=\"pics/button/queensolo_button.png\" class=\"button\" alt=\"$GT\" title=\"Queen solo\" />";
          else if(ereg("jack",$GT))
-           echo "   <img src=\"pics/button/jacksolo_button.png\" class=\"button\" alt=\"$GT\" />";
+           echo "   <img src=\"pics/button/jacksolo_button.png\" class=\"button\" alt=\"$GT\" title=\"Jack solo\" />";
          else if(ereg("club",$GT))
-           echo "   <img src=\"pics/button/clubsolo_button.png\" class=\"button\" alt=\"$GT\" />";
+           echo "   <img src=\"pics/button/clubsolo_button.png\" class=\"button\" alt=\"$GT\" title=\"Club solo\" />";
          else if(ereg("spade",$GT))
-           echo "   <img src=\"pics/button/spadesolo_button.png\" class=\"button\" alt=\"$GT\" />";
+           echo "   <img src=\"pics/button/spadesolo_button.png\" class=\"button\" alt=\"$GT\" title=\"Spade solo\" />";
          else if(ereg("heart",$GT))
-           echo "   <img src=\"pics/button/heartsolo_button.png\" class=\"button\" alt=\"$GT\" />";
+           echo "   <img src=\"pics/button/heartsolo_button.png\" class=\"button\" alt=\"$GT\" title=\"Heart solo\" />";
          else if(ereg("trumpless",$GT))
-           echo "   <img src=\"pics/button/notrumpsolo_button.png\" class=\"button\" alt=\"$GT\" />";
+           echo "   <img src=\"pics/button/notrumpsolo_button.png\" class=\"button\" alt=\"$GT\" title=\"Trumpless solo\" />";
          else if(ereg("trump",$GT))
-           echo "   <img src=\"pics/button/trumpsolo_button.png\" class=\"button\" alt=\"$GT\" />";
+           echo "   <img src=\"pics/button/trumpsolo_button.png\" class=\"button\" alt=\"$GT\" title=\"Trump solo\" />";
        }
 
       /* add point calls */
       if($call!=NULL)
        {
          if($party=="re")
-           echo "  <img src=\"pics/button/re_button.png\" class=\"button\" alt=\"re\" />";
+           echo "  <img src=\"pics/button/re_button.png\" class=\"button\" alt=\"re\" title=\"Re\" />";
          else
-           echo "  <img src=\"pics/button/contra_button.png\" class=\"button\" alt=\"contra\" />";
+           echo "  <img src=\"pics/button/contra_button.png\" class=\"button\" alt=\"contra\" title=\"Contra\" />";
          switch($call)
            {
            case "0":
-             echo "   <img src=\"pics/button/0_button.png\" class=\"button\" alt=\"0\" />";
+             echo "   <img src=\"pics/button/0_button.png\" class=\"button\" alt=\"0\" title=\"Call 0\" />";
              break;
            case "30":
-             echo "   <img src=\"pics/button/30_button.png\" class=\"button\" alt=\"30\" />";
+             echo "   <img src=\"pics/button/30_button.png\" class=\"button\" alt=\"30\" title=\"Call 30\" />";
              break;
            case "60":
-             echo "   <img src=\"pics/button/60_button.png\" class=\"button\" alt=\"60\" />";
+             echo "   <img src=\"pics/button/60_button.png\" class=\"button\" alt=\"60\" title=\"Call 60\" />";
              break;
            case "90":
-             echo "   <img src=\"pics/button/90_button.png\" class=\"button\" alt=\"90\" />";
+             echo "   <img src=\"pics/button/90_button.png\" class=\"button\" alt=\"90\" title=\"Call 90\" />";
              break;
            }
        }
 
       echo "    <br />\n";
-      echo "    <span title=\"".date("Y-m-d H:i:s",$timenow).  "\">local time</span>\n";
-      echo "    <span title=\"".date("Y-m-d H:i:s",$lastlogin)."\">last login</span>\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\" />".
+                            "</span>\n";
       echo "   </div>\n";
 
     }
@@ -921,11 +998,12 @@ function generate_score_table($session)
   foreach($gameids as $gameid)
     {
       $re_score = DB_get_score_by_gameid($gameid);
+      $gametype = DB_get_gametype_by_gameid($gameid);
       foreach($player as $id=>$points)
        {
          $party = DB_get_party_by_gameid_and_userid($gameid,$id);
          if($party == "re")
-           if(DB_get_gametype_by_gameid($gameid)=="solo")
+           if($gametype=="solo")
              $player[$id] += 3*$re_score;
            else
              $player[$id] += $re_score;
@@ -935,7 +1013,7 @@ function generate_score_table($session)
       $score[$i]['gameid']  = $gameid ;
       $score[$i]['players'] = $player;
       $score[$i]['points']  = abs($re_score);
-      $score[$i]['solo']    = (DB_get_gametype_by_gameid($gameid)=="solo");
+      $score[$i]['solo']    = ($gametype=="solo");
 
       $i++;
     }
@@ -951,32 +1029,37 @@ function generate_global_score_table()
   $gameids = DB_get_gameids_of_finished_games_by_session(0);
 
   if($gameids == NULL)
-    return "";
+    return '';
 
   /* get player id, names... from the User table */
   $player = array();
-  $result = DB_query("SELECT User.id, User.fullname FROM User");
+  $result = DB_query('SELECT User.id, User.fullname FROM User');
 
+  /* save information in an array */
   while( $r = DB_fetch_array($result))
-    $player[] = array( 'id' => $r[0], 'name'=> $r[1], 'points' => 0 ,'nr' => 0);
+    $player[$r[0]] = array('name'=> $r[1], 'points' => 0 ,'nr' => 0);
 
   /* get points and generate table */
   foreach($gameids as $gameid)
     {
       $re_score = DB_get_score_by_gameid($gameid);
-      /* TODO: this shouldn't loop over all players, just the 4 players that are in the game */
-      foreach($player as $key=>$pl)
+      $gametype = DB_get_gametype_by_gameid($gameid);
+
+      /* get players involved in this game */
+      $result = DB_query('SELECT user_id FROM Hand WHERE game_id='.DB_quote_smart($gameid));
+      while($r = DB_fetch_array($result))
        {
-         $party = DB_get_party_by_gameid_and_userid($gameid,$pl['id']);
-         if($party == "re")
-           if(DB_get_gametype_by_gameid($gameid)=="solo")
-             $player[$key]['points'] += 3*$re_score;
+         $id = $r[0];
+         $party = DB_get_party_by_gameid_and_userid($gameid,$id);
+         if($party == 're')
+           if($gametype=='solo')
+             $player[$id]['points'] += 3*$re_score;
            else
-             $player[$key]['points'] += $re_score;
-         else if ($party == "contra")
-           $player[$key]['points'] -= $re_score;
+             $player[$id]['points'] += $re_score;
+         else if ($party == 'contra')
+           $player[$id]['points'] -= $re_score;
          if($party)
-           $player[$key]['nr']+=1;
+           $player[$id]['nr']+=1;
        }
     }
 
@@ -992,13 +1075,13 @@ function generate_global_score_table()
       return 0;
     return ($a > $b) ? -1 : 1;
   }
-  usort($player,"cmp");
+  usort($player,'cmp');
 
   foreach($player as $pl)
     {
       /* limit to players with at least 10 games */
       if($pl['nr']>10)
-       $return[] = array( $pl['name'], round($pl['points']/$pl['nr'],3) );
+       $return[] = array( $pl['name'], round($pl['points']/$pl['nr'],3), $pl['points'],$pl['nr']);
     }
 
   return $return;
@@ -1010,7 +1093,9 @@ function format_score_table_ascii($score)
   if(sizeof($score)==0)
     return "";
 
-  //  if(sizeof($score)>5) $header.=   "                ...   \n";
+  /* truncate table if we have too many games */
+  $max = sizeof($score);
+  if($max>6) $output.=" (table truncated to last 6 games)\n";
 
   /* output header */
   foreach($score[0]['players'] as $id=>$points)
@@ -1018,18 +1103,16 @@ function format_score_table_ascii($score)
       $name = DB_get_name('userid',$id); /*TODO*/
       $output.= "  ".substr($name,0,2)."  |";
     }
-  $output.="  P   |\n ";
+  $output.="  P   |\n";
   $output.= "------+------+------+------+------+\n";
 
-  $max = sizeof($score);
+  /* output score for each game */
   $i=0;
-
-  if($i<$max-6) $output.="       ...\n";
-
   foreach($score as $game)
     {
       $i++;
       if($i-1<$max-6) continue;
+
       foreach($game['players'] as $id=>$points)
        $output.=str_pad($points,6," ",STR_PAD_LEFT)."|";
       $output.=str_pad($game['points'],4," ",STR_PAD_LEFT);
@@ -1052,40 +1135,61 @@ function format_score_table_html($score,$userid)
   if(sizeof($score)==0)
     return "";
 
-  $output = "<div class=\"scoretable\">\n<table class=\"score\">\n <thead><tr>\n";
+  $output = "<div class=\"scoretable\">\n<table class=\"score\">\n";
 
   /* output header */
-  $output.= "  <th> No </th>";
+  $header = "";
+  $header.= " <thead>\n  <tr>\n";
+  $header.= "   <th> No </th>";
+  foreach($score[0]['players'] as $id=>$points)
+    {
+      $name = DB_get_name('userid',$id); /*TODO*/
+      $header.= "<th> ".substr($name,0,2)." </th>";
+    }
+  $header.="<th>P</th>\n  </tr>\n </thead>\n";
+
+  /* use the same as footer */
+  $footer = "";
+  $footer.= " <tfoot>\n  <tr>\n";
+  $footer.= "   <td> No </td>";
   foreach($score[0]['players'] as $id=>$points)
     {
       $name = DB_get_name('userid',$id); /*TODO*/
-      $output.= "<th> ".substr($name,0,2)." </th>";
+      $footer.= "<td> ".substr($name,0,2)." </td>";
     }
-  $output.="<th>P</th>\n </tr>\n</thead>\n<tbody>\n";
+  $footer.="<td>P</td>\n  </tr>\n </tfoot>\n";
 
+  /* body */
+  $body = "";
+  $body.= " <tbody>\n";
   $i=0;
   foreach($score as $game)
     {
       $i++;
-      $output.=" <tr>";
+      $body.="  <tr>";
       $userhash = DB_get_hash_from_gameid_and_userid($game['gameid'],$userid);
       /* create link to old games only if you are logged in and its your game*/
       if(isset($_SESSION['id']) && $_SESSION['id']==$userid)
-       $output.="  <td> <a href=\"".$INDEX."?action=game&amp;me=".$userhash."\">$i</a></td>";
+       $body.="  <td> <a href=\"".$INDEX."?action=game&amp;me=".$userhash."\">$i</a></td>";
       else
-       $output.="  <td>$i</td>";
+       $body.="  <td>$i</td>";
 
       foreach($game['players'] as $id=>$points)
-       $output.="<td>".$points."</td>";
-      $output.="<td>".$game['points'];
+       $body.="<td>".$points."</td>";
+      $body.="<td>".$game['points'];
 
       /* check for solo */
       if($game['solo'])
-       $output.= " S";
-      $output.="</td></tr>\n";
+       $body.= " S";
+      $body.="</td></tr>\n";
     }
 
-  $output.="</tbody>\n</table></div>\n";
+  $output.=$header;
+  if($i>12)
+    $output.=$footer;
+  $output.=$body;
+
+  $output.=" </tbody>\n</table>\n</div>\n";
 
   return $output;
 }
@@ -1115,5 +1219,69 @@ function getCache($cacheFile, $expireTime)
   return false;
 }
 
+function check_vacation($userid)
+{
+  /* get start date */
+  $result = DB_query_array("SELECT value FROM User_Prefs".
+                    " WHERE user_id='$userid' AND pref_key='vacation start'" );
+  if($result)
+    $start = $result[0];
+  else
+    return NULL;
+
+  /* get end date */
+  $result = DB_query_array("SELECT value FROM User_Prefs".
+                    " WHERE user_id='$userid' AND pref_key='vacation stop'" );
+  if($result)
+    $stop = $result[0];
+  else
+    return NULL;
+
+  /* get comment */
+  $result = DB_query_array("SELECT value FROM User_Prefs".
+                    " WHERE user_id='$userid' AND pref_key='vacation comment'" );
+  if($result)
+    $comment = $result[0];
+  else
+    $comment = '';
+
+  /* check if user is on vacation. TODO: use user's timezone */
+  if( (time() - strtotime($start) >0) &&
+      (strtotime($stop) - time()  >0))
+    return array ($start,$stop,$comment);
+  else
+    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;
+}
 
 ?>