this header should not harm other browsers

2008-07-21 14:41:56 +00:00
parent 2077d964c2
commit 7146b10226
1 changed files with 2 additions and 3 deletions
--- 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