Merge mysql.com:/misc/mysql/32350/50-32350

into mysql.com:/misc/mysql/32350/51-32350

Merge mysql.com:/misc/mysql/32350/50-32350
into mysql.com:/misc/mysql/32350/51-32350
a9cffb3e · tnurnberg@white.intern.koehntopp.de · f282ce6f · c0f5a7cb · a9cffb3e
Commit a9cffb3e authored Dec 17, 2007 by tnurnberg@white.intern.koehntopp.de
Hide whitespace changes
Inline Side-by-side

Showing with 3 additions and 1 deletion

client/mysqldump.c client/mysqldump.c +3 -1

No files found.
--- a/client/mysqldump.c
+++ b/client/mysqldump.c
@@ -586,7 +586,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 :
              "");