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

2002-06-25 Thread Russ Trotter
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 Thi

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

2002-06-24 Thread Russ Trotter
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 Thi