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
98dc8e3242
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)
|
if (*need_comma)
|
||||||
fprintf(file,", ");
|
fprintf(file,", ");
|
||||||
fprintf(file,"%s=%d", name, (bool)(flags & option));
|
fprintf(file,"%s=%d", name, test(flags & option));
|
||||||
*need_comma= 1;
|
*need_comma= 1;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in a new issue