From b52ac74d54763aba52642606fc4d013a78d6759c Mon Sep 17 00:00:00 2001
From: "tnurnberg@mysql.com/white.intern.koehntopp.de" <>
Date: Mon, 17 Dec 2007 06:13:26 +0100
Subject: [PATCH] Bug#32350: mysqldump should show more version information in
 output

show version of mysqldump, release of server et al., and version of
current server in mysqldumps.
---
 client/mysqldump.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/client/mysqldump.c b/client/mysqldump.c
index 3bf9fff1b86..b24da4b0847 100644
--- a/client/mysqldump.c
+++ b/client/mysqldump.c
@@ -477,7 +477,9 @@ static void write_header(FILE *sql_file, char *db_name)
   {
     if (opt_comments)
     {
-      fprintf(sql_file, "-- MySQL dump %s\n--\n", DUMP_VERSION);
+      fprintf(sql_file,
+              "-- MySQL dump %s  Distrib %s, for %s (%s)\n--\n",
+              DUMP_VERSION, MYSQL_SERVER_VERSION, SYSTEM_TYPE, MACHINE_TYPE);
       fprintf(sql_file, "-- Host: %s    Database: %s\n",
 	      current_host ? current_host : "localhost", db_name ? db_name :
 	      "");