Adds a servlet definition. @param servletDef The servlet definition
(ServletDef servletDef)
| 597 | * @param servletDef The servlet definition |
| 598 | */ |
| 599 | public void addServlet(ServletDef servletDef) { |
| 600 | servlets.put(servletDef.getServletName(), servletDef); |
| 601 | if (overridable) { |
| 602 | servletDef.setOverridable(true); |
| 603 | } |
| 604 | } |
| 605 | |
| 606 | /** |
| 607 | * Returns the servlet definitions. |