From: Jakub Vrana <jakub@vrana.cz>
Date: Wed, 20 Apr 2011 15:20:00 +0000 (+0200)
Subject: Use server name for server dump
X-Git-Tag: v3.3.0~92
X-Git-Url: https://git.joonet.de/?a=commitdiff_plain;h=5792eabd9bae362d87a8ee45778aae170e040ca0;p=adminer.git

Use server name for server dump
---

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;