+package org.argeo.server.jackrabbit.webdav;
+
+import java.io.IOException;
+
+import javax.servlet.ServletException;
+
+import org.apache.jackrabbit.webdav.simple.ResourceConfig;
+import org.argeo.ArgeoException;
+import org.springframework.core.io.Resource;
+
+public class SimpleWebDavServlet extends
+ org.apache.jackrabbit.j2ee.SimpleWebdavServlet {
+
+ private static final long serialVersionUID = 1L;
+
+ private Resource resourceConfiguration;
+
+ @Override
+ public void init() throws ServletException {
+ super.init();
+
+ if (resourceConfiguration != null) {
+ ResourceConfig resourceConfig = new ResourceConfig();
+ try {
+ resourceConfig.parse(resourceConfiguration.getURL());
+ } catch (IOException e) {
+ throw new ArgeoException("Cannot parse resource configuration "
+ + resourceConfiguration, e);
+ }
+ setResourceConfig(resourceConfig);
+ }
+ }
+
+ public void setResourceConfiguration(Resource resourceConfig) {
+ this.resourceConfiguration = resourceConfig;
+ }
+
+}