database/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2025-07-30 16:24:05 +03:00
Code Activity

minor post review fixes

Browse Source
This commit is contained in:
petr@mysql.com
2004-10-25 14:23:31 +04:00
parent a8e2db4ecd
commit 1e46fea310
13 changed files with 77 additions and 84 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
server-tools/instance-manager/instance_options.cc
View File

@ -172,7 +172,7 @@ err:
int Instance_options::add_to_argv(const char* option)
{
DBUG_ASSERT(filled_default_options < (MAX_NUMBER_OF_DEFAULT_OPTIONS + 1));
DBUG_ASSERT(filled_default_options < MAX_NUMBER_OF_DEFAULT_OPTIONS);
if (option != NULL)
argv[filled_default_options++]= (char *) option;