On 2015-05-27 09:24 -0700, Gary Johnson wrote: Ian> The reason I ask is I had "x-" as one of the patterns, precisely as Ian> the documentation suggests (in an offhand example). But Mario's Ian> posts from today have an X-URL header and it was not weeded. It is Ian> when I add "x-url" to the ignore. What gives?
Gary> Patterns are case-insensitive as long as they contain only Gary> lower-case letters. If you include an upper-case letter in a Gary> pattern, or include a range (e.g., [a-z]) that because of your Gary> locale includes an upper-case letter, the pattern becomes Gary> case-sensitive. That could be why "x-url" in the pattern is not Gary> matching "X-URL" in the header, but that's just a guess. I don't see how either exception applies in this particular situation. -- Please *no* private copies of mailing list or newsgroup messages. Rule 420: All persons more than eight miles high to leave the court.
