Dear Sean,
just some quick reply:
What is the relationship/interaction between org.apache.catalina.servlets.WebdavServlet, with its full compliment of methods, and org.basex.http.webdav.WebDAVServlet?
I don’t know if you have done so already, but it may be worth to directly jump into the sources of our WebDAV implementation [1].
Also, is authentication for WebDAV using credentials from .../tomcat/config/tomcat-users.xml (as in the tutorial), from .basexperm, or from some other source?
The .basexperm file is used used for authentication [2], as WebDAV and all other HTTP services have been built to work with any web server supporting Java servlets.
Hope this helps, Christian
[1] https://github.com/BaseXdb/basex-api/tree/master/src/main/java/org/basex/htt... [2] http://docs.basex.org/wiki/Web_Application#User_Management