mirror of
https://github.com/rkd77/elinks.git
synced 2024-12-04 14:46:47 -05:00
config: Unsetting a missing option is not an error.
(cherry picked from commit 2c9d966c99
)
This commit is contained in:
parent
34c91ea021
commit
6ef4f017be
@ -333,8 +333,15 @@ parse_unset(struct option *opt_tree, struct conf_parsing_state *state,
|
|||||||
mem_free(optname_copy);
|
mem_free(optname_copy);
|
||||||
optname_copy = NULL;
|
optname_copy = NULL;
|
||||||
|
|
||||||
if (!opt || (opt->flags & OPT_HIDDEN))
|
if (!opt || (opt->flags & OPT_HIDDEN)) {
|
||||||
return show_parse_error(state, ERROR_OPTION);
|
/* The user wanted to delete the option, and
|
||||||
|
* it has already been deleted; this is not an
|
||||||
|
* error. This might happen if a version of
|
||||||
|
* ELinks has a built-in URL rewriting rule,
|
||||||
|
* the user disables it, and a later version
|
||||||
|
* no longer has it. */
|
||||||
|
return ERROR_NONE;
|
||||||
|
}
|
||||||
|
|
||||||
if (!mirror) {
|
if (!mirror) {
|
||||||
if (opt->flags & OPT_ALLOC) delete_option(opt);
|
if (opt->flags & OPT_ALLOC) delete_option(opt);
|
||||||
|
Loading…
Reference in New Issue
Block a user