From d3609817a12268a5df69ce5deeb17098b5135a3f Mon Sep 17 00:00:00 2001
From: Jakub Vrana <jakub@vrana.cz>
Date: Sat, 12 Mar 2011 00:16:56 +0100
Subject: [PATCH] Don't add the same page to history in AJAX

---
 adminer/static/functions.js | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/adminer/static/functions.js b/adminer/static/functions.js
index 7009c7f4..dae001c4 100644
--- a/adminer/static/functions.js
+++ b/adminer/static/functions.js
@@ -301,7 +301,9 @@ function ajaxSend(url, data, popState) {
 				setHtml('loader', '');
 			} else {
 				if (!popState) {
-					history.pushState(data, '', url);
+					if (data || url != location.href) {
+						history.pushState(data, '', url);
+					}
 					scrollTo(0, 0);
 				}
 				setHtml('content', text);