mirror of
https://github.com/MariaDB/server.git
synced 2025-08-08 11:22:35 +03:00
fix comments
This commit is contained in:
@@ -85,10 +85,10 @@ static char *remove_end_comment(char *ptr);
|
|||||||
Add/remove option to the option file section.
|
Add/remove option to the option file section.
|
||||||
|
|
||||||
SYNOPSYS
|
SYNOPSYS
|
||||||
my_correct_file()
|
my_correct_defaults_file()
|
||||||
file_location The location of configuration file to edit
|
file_location The location of configuration file to edit
|
||||||
option option to look for
|
option option to look for
|
||||||
option value The value of the option we would like to set
|
option_value The value of the option we would like to set
|
||||||
section_name the name of the section
|
section_name the name of the section
|
||||||
remove_option This is true if we want to remove the option.
|
remove_option This is true if we want to remove the option.
|
||||||
False otherwise.
|
False otherwise.
|
||||||
|
Reference in New Issue
Block a user