1
0
mirror of https://github.com/MariaDB/server.git synced 2026-01-06 05:22:24 +03:00

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

into  mysql.com:/misc/mysql/32350/50-32350
This commit is contained in:
tnurnberg@white.intern.koehntopp.de
2007-12-17 06:13:52 +01:00

View File

@@ -558,7 +558,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 :
"");