/**
* Maps a named servlet to a particular path or extension. If the named servlet is unregistered,
* it will be added and subsequently mapped.
*
* <p>Note that the order of resolution to handle a request is:
*
* <p>exact mapped servlet (eg /catalog) prefix mapped servlets (eg /foo/bar/*) extension mapped
* servlets (eg *jsp) default servlet
*/
public void addServletMapping(String path, String servletName) throws TomcatException {
if (mappings.get(path) != null) {
log("Removing duplicate " + path + " -> " + mappings.get(path));
mappings.remove(path);
Container ct = (Container) containers.get(path);
removeContainer(ct);
}
ServletWrapper sw = (ServletWrapper) servlets.get(servletName);
if (sw == null) {
// Workaround for frequent "bug" in web.xmls
// Declare a default mapping
log("Mapping with unregistered servlet " + servletName);
sw = addServlet(servletName, servletName);
}
if ("/".equals(path)) defaultServlet = sw;
mappings.put(path, sw);
Container map = new Container();
map.setContext(this);
map.setHandler(sw);
map.setPath(path);
contextM.addContainer(map);
containers.put(path, map);
}
/** Remove the servlet with a specific name */
public void removeServletByName(String servletName) throws TomcatException {
servlets.remove(servletName);
}
public void removeContainer(Container ct) {
containers.remove(ct.getPath());
}
public void removeAttribute(String name) {
attributes.remove(name);
}