empire/empserver
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

(set_option, delete_option): Gripe about unknown options. If multiple

Browse source 
options have identical names in Options[], all but the first are
ignored.  This should never happen.
This commit is contained in:
Markus Armbruster 2004-03-11 10:07:38 +00:00
parent 4caf8bb440
commit 71411189b4
1 changed files with 8 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

10
src/lib/gen/emp_config.c
View file

@ -580,10 +580,13 @@ set_option(const char *s)
struct option_list *op;
for (op = Options; op->opt_key; op++) {
if (strcmp(op->opt_key, s) == 0)
if (strcmp(op->opt_key, s) == 0) {
*op->opt_valuep = 1;
return;
}
}
fprintf(stderr, "Unknown option %s\n", s);
}
/* delete an option from the list */
static void
@ -592,10 +595,13 @@ delete_option(const char *s)
struct option_list *op;
for (op = Options; op->opt_key; op++) {
if (strcmp(op->opt_key, s) == 0)
if (strcmp(op->opt_key, s) == 0) {
*op->opt_valuep = 0;
return;
}
}
fprintf(stderr, "Unknown option %s\n", s);
}
/* config interface */
static void