import org.apache.jackrabbit.server.SessionProvider;
+/** WebDav servlet whoe repository is injected */
public class SimpleWebdavServlet extends
org.apache.jackrabbit.webdav.simple.SimpleWebdavServlet {
private static final long serialVersionUID = -369787931175177080L;
private final Repository repository;
- public SimpleWebdavServlet(Repository repository, SessionProvider sessionProvider) {
+ public SimpleWebdavServlet(Repository repository,
+ SessionProvider sessionProvider) {
this.repository = repository;
setSessionProvider(sessionProvider);
}