mirror of
https://github.com/MariaDB/server.git
synced 2026-05-16 20:07:13 +02:00
After review fix: added a comment
This commit is contained in:
parent
824acf6ee5
commit
810512972b
1 changed files with 6 additions and 0 deletions
|
|
@ -239,6 +239,12 @@ int process_default_option_files(const char *conf_file,
|
|||
option The very option to be processed. It is already
|
||||
prepared to be used in argv (has -- prefix)
|
||||
|
||||
DESCRIPTION
|
||||
|
||||
This handler checks whether a group is one of the listed and adds an option
|
||||
to the array if yes. Some other handler can record, for instance, all groups
|
||||
and their options, not knowing in advance the names and amount of groups.
|
||||
|
||||
RETURN
|
||||
0 - ok
|
||||
1 - error occured
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue