From a96688595ffc3663a70754a3a194fc3eeefb5405 Mon Sep 17 00:00:00 2001
From: Arun Persaud <arun@nubati.net>
Date: Sun, 6 Jan 2008 19:49:04 +0100
Subject: [PATCH] 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>
---
 index.php | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/index.php b/index.php
index bacb356..6807fa6 100644
--- 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";
 
+	  $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'".
-- 
2.34.1