* @see AbstractWebdavServlet#getDavSessionProvider()
*/
public DavSessionProvider getDavSessionProvider() {
if (server == null) {
Repository repository = RepositoryAccessServlet.getRepository(getServletContext());
server = new JCRWebdavServer(repository, new SessionProviderImpl(
new BasicCredentialsProvider(
getInitParameter(INIT_PARAM_MISSING_AUTH_MAPPING)))
);
}
return server;