Could anybody give me some reference about how Tomcat handle the default servlet

[Zhi Xie]

If I deploy a war with a web.xml like this.

<?xml version="1.0" encoding="UTF-8"?>
<web-app id="WebApp_ID" version="2.4"
  xmlns="http://java.sun.com/xml/ns/j2ee"; xmlns:xsi="
http://www.w3.org/2001/XMLSchema-instance";
  xsi:schemaLocation="http://java.sun.com/xml/ns/j2ee
http://java.sun.com/xml/ns/j2ee/web-app_2_4.xsd";>
  <display-name>Test WAR</display-name>

  <!-- Example mapping using the default servlet -->
  <servlet-mapping>
    <servlet-name>default</servlet-name>
    <url-pattern>/images/*</url-pattern>
  </servlet-mapping>
</web-app>

I want to know Tomcat how to handle it.
1. How to find DefaultServlet to handle this map.
2. If I define my own default servlet, how tomcat assure the DefaultServlet
don't override my own servlet.

I have debugged it in Tomcat 6.0.35. But I couldn't find the answer.

Could anybody give me some reference. Thank you very much.

Best Regards
Gary