From 0fdedcbaa52e9fab4317e777a6f3473da5bf5d1f Mon Sep 17 00:00:00 2001
From: Jakub Vrana <jakub@vrana.cz>
Date: Sun, 23 Feb 2014 18:34:00 -0800
Subject: [PATCH] Display time of the select command

---
 adminer/include/driver.inc.php | 6 ++++--
 changes.txt                    | 1 +
 2 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/adminer/include/driver.inc.php b/adminer/include/driver.inc.php
index e6b50f8d..25bd0217 100644
--- a/adminer/include/driver.inc.php
+++ b/adminer/include/driver.inc.php
@@ -42,10 +42,12 @@
 				"\n"
 			);
 		}
+		$start = microtime(true);
+		$return = $this->_conn->query($query);
 		if ($print) {
-			echo $adminer->selectQuery($query);
+			echo $adminer->selectQuery($query . ";\n-- " . format_time($start, microtime(true)));
 		}
-		return $this->_conn->query($query);
+		return $return;
 	}
 	
 	/** Delete data from table
diff --git a/changes.txt b/changes.txt
index 0ee725e4..75e7e732 100644
--- a/changes.txt
+++ b/changes.txt
@@ -1,4 +1,5 @@
 Adminer 4.0.4-dev:
+Display time of the select command
 Improve gzip export ratio (bug #387)
 MySQL: Respect daylight saving time in dump, bug since Adminer 3.6.4
 SQLite: Display auto-created unique indexes, bug since Adminer 3.5.0