diff options
| -rw-r--r-- | src/or/config.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/or/config.c b/src/or/config.c index 8aca8f9be5..56faf677ca 100644 --- a/src/or/config.c +++ b/src/or/config.c @@ -321,7 +321,7 @@ expand_abbrev(const char *option, int command_line) int i; for (i=0; config_abbrevs[i].abbreviated; ++i) { /* Abbreviations aren't casei. */ - if (!strcmp(option,config_abbrevs[i].abbreviated) && + if (!strcasecmp(option,config_abbrevs[i].abbreviated) && (command_line || !config_abbrevs[i].commandline_only)) { return config_abbrevs[i].full; } |