mirror of
https://github.com/MariaDB/server.git
synced 2026-05-10 00:54:30 +02:00
merging.
This commit is contained in:
commit
12043816fa
18 changed files with 54 additions and 26 deletions
|
|
@ -344,9 +344,8 @@ static int get_options(int *argc, char ***argv)
|
|||
exit(0);
|
||||
}
|
||||
|
||||
load_defaults("my", load_default_groups, argc, argv);
|
||||
|
||||
if ((ho_error=handle_options(argc, argv, my_long_options, get_one_option)))
|
||||
if ((ho_error= load_defaults("my", load_default_groups, argc, argv)) ||
|
||||
(ho_error=handle_options(argc, argv, my_long_options, get_one_option)))
|
||||
exit(ho_error);
|
||||
|
||||
if (!what_to_do)
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue