mirror of
https://github.com/MariaDB/server.git
synced 2025-01-31 11:01:52 +01:00
Merge pchardin@bk-internal.mysql.com:/home/bk/mysql-5.0
into mysql.com:/home/cps/mysql/trees/mysql-5.0
This commit is contained in:
commit
1c376d7da4
2 changed files with 3 additions and 3 deletions
|
@ -85,10 +85,10 @@ static char *remove_end_comment(char *ptr);
|
|||
Add/remove option to the option file section.
|
||||
|
||||
SYNOPSYS
|
||||
my_correct_file()
|
||||
my_correct_defaults_file()
|
||||
file_location The location of configuration file to edit
|
||||
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
|
||||
remove_option This is true if we want to remove the option.
|
||||
False otherwise.
|
||||
|
|
Loading…
Add table
Reference in a new issue