From 5792eabd9bae362d87a8ee45778aae170e040ca0 Mon Sep 17 00:00:00 2001 From: Jakub Vrana Date: Wed, 20 Apr 2011 17:20:00 +0200 Subject: [PATCH] Use server name for server dump --- adminer/include/functions.inc.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/adminer/include/functions.inc.php b/adminer/include/functions.inc.php index 62daa2f5..ea9b885c 100644 --- a/adminer/include/functions.inc.php +++ b/adminer/include/functions.inc.php @@ -775,7 +775,7 @@ function dump_headers($identifier, $multi_table = false) { $return = $adminer->dumpHeaders($identifier, $multi_table); $output = $_POST["output"]; if ($output != "text") { - header("Content-Disposition: attachment; filename=" . ($identifier != "" ? friendly_url($identifier) : "dump") . ".$return" . ($output != "file" && !ereg('[^0-9a-z]', $output) ? ".$output" : "")); + header("Content-Disposition: attachment; filename=" . friendly_url($identifier != "" ? $identifier : (SERVER != "" ? SERVER : "localhost")) . ".$return" . ($output != "file" && !ereg('[^0-9a-z]', $output) ? ".$output" : "")); } session_write_close(); return $return;