[PATCH] Patch to allow more flexible WebdavServlet/DefaultServlet operation

[Russ Trotter <rt...@base2.cc>]

Two patches attached, 
catalina/src/share/org/apache/catalina/servlets/DefaultServlet.java
catalina/src/share/org/apache/catalina/servlets/WebdavServlet.java

There are two main pieces to this patch:

1)  The addition of an "isDefaultServlet" initialization parameter to the 
WebdavServlet
 
   This allows the webdav servlet to be integrated as both the default servlet 
as well as a url-pattern prefix servlet.  Some small mods are made to 
generate correct HREF's in a PROPFIND request based on this parameter value.

2) Parameterize getResources() DefaultServlet and WebdavServlet to pass in a 
HttpServletRequest object so that DirContext's  can be created by derived 
servlets to return DirContext's on other request-based parameters, either in 
the URL or session or whatever.  The default behavior is to simply ignore the 
HttpServletRequest parameter and return the same DirContext that has always 
been returned (the one created on webapp initialization).


Lemme know if this can be applied by somebody.  Thanks