关于Web.xml的大小写问题

今天写着写着突然想起来，web.xml中servlet-name节点是不区分大小写的，通用识别。 差点忘了