org.argeo.server.jackrabbit/src/org/argeo/jackrabbit/remote/SimpleWebdavHandlerMapping.java

   1 /*
   2  * Copyright (C) 2007-2012 Argeo GmbH
   3  *
   4  * Licensed under the Apache License, Version 2.0 (the "License");
   5  * you may not use this file except in compliance with the License.
   6  * You may obtain a copy of the License at
   7  *
   8  *         http://www.apache.org/licenses/LICENSE-2.0
   9  *
  10  * Unless required by applicable law or agreed to in writing, software
  11  * distributed under the License is distributed on an "AS IS" BASIS,
  12  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  13  * See the License for the specific language governing permissions and
  14  * limitations under the License.
  15  */
  16 package org.argeo.jackrabbit.remote;
  17
  18 import java.util.Properties;
  19
  20 import javax.jcr.Repository;
  21 import javax.servlet.ServletException;
  22 import javax.servlet.http.HttpServlet;
  23
  24 /** Handler mapping for WebDav */
  25 public class SimpleWebdavHandlerMapping extends
  26                 AbstractJackrabbitHandlerMapping {
  27         private String configuration;
  28
  29         protected HttpServlet createServlet(Repository repository, String pathPrefix)
  30                         throws ServletException {
  31
  32                 SimpleWebdavServlet servlet = new SimpleWebdavServlet(repository,
  33                                 getSessionProvider());
  34                 Properties initParameters = new Properties();
  35                 initParameters.setProperty(
  36                                 SimpleWebdavServlet.INIT_PARAM_RESOURCE_CONFIG, configuration);
  37                 initParameters
  38                                 .setProperty(
  39                                                 SimpleWebdavServlet.INIT_PARAM_RESOURCE_PATH_PREFIX,
  40                                                 pathPrefix);
  41                 servlet.init(new DelegatingServletConfig(pathPrefix.replace('/', '_'),
  42                                 initParameters));
  43                 return servlet;
  44         }
  45
  46         public void setConfiguration(String configuration) {
  47                 this.configuration = configuration;
  48         }
  49 }