From: Jehan-Guillaume (ioguix) de Rorthais <ioguix@free.fr>
Date: Tue, 5 Mar 2013 23:03:26 +0000 (+0100)
Subject: Fix a PHP warning about "Undefined index"
X-Git-Tag: REL_5-1-0~13
X-Git-Url: http://git.postgresql.org/gitweb/?a=commitdiff_plain;h=e7c81cfb4b89398d6accbd2b0f0af3c8507c9666;p=phppgadmin.git

Fix a PHP warning about "Undefined index"

We must keep track of the nohistory parameter between each call of
display.php.
---

diff --git a/display.php b/display.php
index 242d45c5..eccb64b1 100644
--- a/display.php
+++ b/display.php
@@ -514,6 +514,7 @@
 		if (isset($_REQUEST['table'])) $_gets['table'] = $_REQUEST['table'];
 		if (isset($_REQUEST['sortkey'])) $_gets['sortkey'] = $_REQUEST['sortkey'];
 		if (isset($_REQUEST['sortdir'])) $_gets['sortdir'] = $_REQUEST['sortdir'];
+		if (isset($_REQUEST['nohistory'])) $_gets['nohistory'] = $_REQUEST['nohistory'];
 		$_gets['strings'] = $_REQUEST['strings'];
 
 		if ($save_history && is_object($rs) && ($type == 'QUERY')) //{