Use server name for server dump

diff --git a/adminer/include/functions.inc.php b/adminer/include/functions.inc.php
index 62daa2f5415a312f30c8f4b346e8ebcaf386ebfb..ea9b885c2c33932c88f672cb770ca09e4259dfd3 100644 (file)
--- 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;