diff options
| author | petr@mysql.com <> | 2004-10-25 14:23:31 +0400 |
|---|---|---|
| committer | petr@mysql.com <> | 2004-10-25 14:23:31 +0400 |
| commit | 1e46fea3104a7f3775fb594019e05965bb9103c1 (patch) | |
| tree | 77663399ce764850ff52e544fe7dad6f7ae2fdd4 /server-tools/instance-manager/instance_options.cc | |
| parent | a8e2db4ecda20b013804104f2ac71fb86711ddbc (diff) | |
| download | mariadb-git-1e46fea3104a7f3775fb594019e05965bb9103c1.tar.gz | |
minor post review fixes
Diffstat (limited to 'server-tools/instance-manager/instance_options.cc')
| -rw-r--r-- | server-tools/instance-manager/instance_options.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/server-tools/instance-manager/instance_options.cc b/server-tools/instance-manager/instance_options.cc index 7586566de9d..8311e4f7bc0 100644 --- a/server-tools/instance-manager/instance_options.cc +++ b/server-tools/instance-manager/instance_options.cc @@ -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; |