From 7146b10226ff27ded5c091593db345aab87ef204 Mon Sep 17 00:00:00 2001 From: Marc Delisle Date: Mon, 21 Jul 2008 14:41:56 +0000 Subject: [PATCH] this header should not harm other browsers --- export.php | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/export.php b/export.php index 51bdeca60..1da5c972e 100644 --- a/export.php +++ b/export.php @@ -364,9 +364,8 @@ if (!$save_on_server) { header('Pragma: no-cache'); // test case: exporting a database into a .gz file with Safari // would produce files not having the current time - if ('SAFARI' == PMA_USR_BROWSER_AGENT) { - header('Last-Modified: ' . gmdate('D, d M Y H:i:s') . ' GMT'); - } + // (added this header for Safari but should not harm other browsers) + header('Last-Modified: ' . gmdate('D, d M Y H:i:s') . ' GMT'); } } else { // HTML