mirror of
https://github.com/MariaDB/server.git
synced 2026-05-14 19:07:15 +02:00
merging.
This commit is contained in:
commit
6c832ee4bf
18 changed files with 54 additions and 26 deletions
|
|
@ -189,6 +189,7 @@ int main(int argc, char **argv)
|
|||
config_file);
|
||||
}
|
||||
error= 2;
|
||||
exit(error);
|
||||
}
|
||||
|
||||
for (argument= arguments+1 ; *argument ; argument++)
|
||||
|
|
@ -197,5 +198,5 @@ int main(int argc, char **argv)
|
|||
my_free((char*) load_default_groups,MYF(0));
|
||||
free_defaults(arguments);
|
||||
|
||||
exit(error);
|
||||
exit(0);
|
||||
}
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue