diff options
author | unknown <petr@mysql.com> | 2005-04-11 17:08:34 +0400 |
---|---|---|
committer | unknown <petr@mysql.com> | 2005-04-11 17:08:34 +0400 |
commit | 3ae32eacc061e91bedf475f82f5fa299dd130ed3 (patch) | |
tree | 67ee8f50eadb5262a35de997b9df68350a23635c /server-tools/instance-manager/options.cc | |
parent | 47527f6ade87e2721071ea9c4c1a2db545b64b8b (diff) | |
download | mariadb-git-3ae32eacc061e91bedf475f82f5fa299dd130ed3.tar.gz |
Fix for Bug #9589
server-tools/instance-manager/options.cc:
remove [mysql] group from the list of the groups read by the mysqlmanager (resulted from wrong merge long ago)
Diffstat (limited to 'server-tools/instance-manager/options.cc')
-rw-r--r-- | server-tools/instance-manager/options.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/server-tools/instance-manager/options.cc b/server-tools/instance-manager/options.cc index 4b5ec27f302..4568d6b578d 100644 --- a/server-tools/instance-manager/options.cc +++ b/server-tools/instance-manager/options.cc @@ -130,7 +130,7 @@ static void version() } -static const char *default_groups[]= { "mysql", "manager", 0 }; +static const char *default_groups[]= { "manager", 0 }; static void usage() |