make abbreviations case-insensitive (thanks weasel)

svn:r2773
This commit is contained in:
Roger Dingledine 2004-11-10 03:22:49 +00:00
parent d9a74cd0af
commit af9683501c

View File

@ -321,7 +321,7 @@ expand_abbrev(const char *option, int command_line)
int i; int i;
for (i=0; config_abbrevs[i].abbreviated; ++i) { for (i=0; config_abbrevs[i].abbreviated; ++i) {
/* Abbreviations aren't casei. */ /* 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)) { (command_line || !config_abbrevs[i].commandline_only)) {
return config_abbrevs[i].full; return config_abbrevs[i].full;
} }