NEW FEATURE: show the time a game took at the end of the game

display time in hours together with total points.
Signed-off-by: Arun Persaud <arun@nubati.net>

diff --git a/index.php b/index.php
index bacb356fd3fc9237518b123de1cdab7b1ca12ff5..6807fa612c70560448d280a1807ca719be3d1a9f 100644 (file)
--- a/index.php
+++ b/index.php
@@ -1885,6 +1885,11 @@ else if(myisset("me"))
          while( $r = mysql_fetch_array($result,MYSQL_NUM))
            echo "  ".$r[0]." ".$r[1]."<br />\n";
 
          while( $r = mysql_fetch_array($result,MYSQL_NUM))
            echo "  ".$r[0]." ".$r[1]."<br />\n";
 

+         $queryresult = mysql_query("SELECT timediff(mod_date,create_date) ".
+                                    " FROM Game WHERE id='$gameid'");
+         $r = mysql_fetch_array($queryresult,MYSQL_NUM);
+         echo "<p>This game took ".$r[0]." hours.</p>";
+

          echo "<div class=\"re\">\n Points Re: <br />\n";
          $queryresult = mysql_query("SELECT score FROM Score ".
                                     "  WHERE game_id=$gameid AND party='re'".
          echo "<div class=\"re\">\n Points Re: <br />\n";
          $queryresult = mysql_query("SELECT score FROM Score ".
                                     "  WHERE game_id=$gameid AND party='re'".