mirror of
https://github.com/MariaDB/server.git
synced 2025-01-18 04:53:01 +01:00
Merge mysql.com:/Users/emurphy/src/bk-clean/mysql-5.0
into mysql.com:/Users/emurphy/src/work/mysql-5.0-bug11567
This commit is contained in:
commit
44f959ae81
1 changed files with 1 additions and 1 deletions
|
@ -242,7 +242,7 @@ static void print_set_option(FILE* file, uint32 bits_changed, uint32 option,
|
|||
{
|
||||
if (*need_comma)
|
||||
fprintf(file,", ");
|
||||
fprintf(file,"%s=%d", name, (bool)(flags & option));
|
||||
fprintf(file,"%s=%d", name, test(flags & option));
|
||||
*need_comma= 1;
|
||||
}
|
||||
}
|
||||
|
|
Loading…
Reference in a new issue