Are extension names case insensitive2003-05-01 18:36:18I was not able to tell from RFC 3028 if the extension names provided with the require statement are case-insensitive or not. Should this work? REQUIRE "FILEINTO"; fileinto "FOO"; The closest thing I find is section 2.1 that says: Tokens in the ASCII range are considered case-insensitive. Should strings (as the argument to require) be considered tokens in this regard? Regards, Gisle Aas, ActiveState
|
|