org.eclipse.jgit.http.server/src/org/eclipse/jgit/http/server/GitFilter.java - sop/jgit - Git at Google

 /*
  * Copyright (C) 2009-2010, Google Inc.
  * and other copyright owners as documented in the project's IP log.
  *
  * This program and the accompanying materials are made available
  * under the terms of the Eclipse Distribution License v1.0 which
  * accompanies this distribution, is reproduced below, and is
  * available at http://www.eclipse.org/org/documents/edl-v10.php
  *
  * All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or
  * without modification, are permitted provided that the following
  * conditions are met:
  *
  * - Redistributions of source code must retain the above copyright
  *   notice, this list of conditions and the following disclaimer.
  *
  * - Redistributions in binary form must reproduce the above
  *   copyright notice, this list of conditions and the following
  *   disclaimer in the documentation and/or other materials provided
  *   with the distribution.
  *
  * - Neither the name of the Eclipse Foundation, Inc. nor the
  *   names of its contributors may be used to endorse or promote
  *   products derived from this software without specific prior
  *   written permission.
  *
  * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND
  * CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES,
  * INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
  * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
  * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR
  * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
  * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
  * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
  * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
  * CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
  * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF
  * ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  */

 package org.eclipse.jgit.http.server;

 import java.io.File;
 import java.text.MessageFormat;
 import java.util.LinkedList;
 import java.util.List;

 import javax.servlet.Filter;
 import javax.servlet.FilterConfig;
 import javax.servlet.ServletException;
 import javax.servlet.http.HttpServletRequest;
 import javax.servlet.http.HttpServletResponse;

 import org.eclipse.jgit.http.server.glue.ErrorServlet;
 import org.eclipse.jgit.http.server.glue.MetaFilter;
 import org.eclipse.jgit.http.server.glue.RegexGroupFilter;
 import org.eclipse.jgit.http.server.glue.ServletBinder;
 import org.eclipse.jgit.http.server.resolver.AsIsFileService;
 import org.eclipse.jgit.http.server.resolver.DefaultReceivePackFactory;
 import org.eclipse.jgit.http.server.resolver.DefaultUploadPackFactory;
 import org.eclipse.jgit.lib.Constants;
 import org.eclipse.jgit.transport.ReceivePack;
 import org.eclipse.jgit.transport.UploadPack;
 import org.eclipse.jgit.transport.resolver.FileResolver;
 import org.eclipse.jgit.transport.resolver.ReceivePackFactory;
 import org.eclipse.jgit.transport.resolver.RepositoryResolver;
 import org.eclipse.jgit.transport.resolver.UploadPackFactory;
 import org.eclipse.jgit.util.StringUtils;

 /**
  * Handles Git repository access over HTTP.
  * <p>
  * Applications embedding this filter should map a directory path within the
  * application to this filter. For a servlet version, see {@link GitServlet}.
  * <p>
  * Applications may wish to add additional repository action URLs to this
  * servlet by taking advantage of its extension from {@link MetaFilter}.
  * Callers may register their own URL suffix translations through
  * {@link #serve(String)}, or their regex translations through
  * {@link #serveRegex(String)}. Each translation should contain a complete
  * filter pipeline which ends with the HttpServlet that should handle the
  * requested action.
  */
 public class GitFilter extends MetaFilter {
 	private volatile boolean initialized;

 	private RepositoryResolver<HttpServletRequest> resolver;

 	private AsIsFileService asIs = new AsIsFileService();

 	private UploadPackFactory<HttpServletRequest> uploadPackFactory = new DefaultUploadPackFactory();

 	private ReceivePackFactory<HttpServletRequest> receivePackFactory = new DefaultReceivePackFactory();

 	private final List<Filter> uploadPackFilters = new LinkedList<>();

 	private final List<Filter> receivePackFilters = new LinkedList<>();

 	/**
 	 * New servlet that will load its base directory from {@code web.xml}.
 	 * <p>
 	 * The required parameter {@code base-path} must be configured to point to
 	 * the local filesystem directory where all served Git repositories reside.
 	 */
 	public GitFilter() {
 		// Initialized above by field declarations.
 	}

 	/**
 	 * New servlet configured with a specific resolver.
 	 *
 	 * @param resolver
 	 *            the resolver to use when matching URL to Git repository. If
 	 *            null the {@code base-path} parameter will be looked for in the
 	 *            parameter table during init, which usually comes from the
 	 *            {@code web.xml} file of the web application.
 	 */
 	public void setRepositoryResolver(RepositoryResolver<HttpServletRequest> resolver) {
 		assertNotInitialized();
 		this.resolver = resolver;
 	}

 	/**
 	 * @param f
 	 *            the filter to validate direct access to repository files
 	 *            through a dumb client. If {@code null} then dumb client
 	 *            support is completely disabled.
 	 */
 	public void setAsIsFileService(AsIsFileService f) {
 		assertNotInitialized();
 		this.asIs = f != null ? f : AsIsFileService.DISABLED;
 	}

 	/**
 	 * @param f
 	 *            the factory to construct and configure an {@link UploadPack}
 	 *            session when a fetch or clone is requested by a client.
 	 */
 	@SuppressWarnings("unchecked")
 	public void setUploadPackFactory(UploadPackFactory<HttpServletRequest> f) {
 		assertNotInitialized();
 		this.uploadPackFactory = f != null ? f : (UploadPackFactory<HttpServletRequest>)UploadPackFactory.DISABLED;
 	}

 	/**
 	 * @param filter
 	 *            filter to apply before any of the UploadPack operations. The
 	 *            UploadPack instance is available in the request attribute
 	 *            {@link ServletUtils#ATTRIBUTE_HANDLER}.
 	 */
 	public void addUploadPackFilter(Filter filter) {
 		assertNotInitialized();
 		uploadPackFilters.add(filter);
 	}

 	/**
 	 * @param f
 	 *            the factory to construct and configure a {@link ReceivePack}
 	 *            session when a push is requested by a client.
 	 */
 	@SuppressWarnings("unchecked")
 	public void setReceivePackFactory(ReceivePackFactory<HttpServletRequest> f) {
 		assertNotInitialized();
 		this.receivePackFactory = f != null ? f : (ReceivePackFactory<HttpServletRequest>)ReceivePackFactory.DISABLED;
 	}

 	/**
 	 * @param filter
 	 *            filter to apply before any of the ReceivePack operations. The
 	 *            ReceivePack instance is available in the request attribute
 	 *            {@link ServletUtils#ATTRIBUTE_HANDLER}.
 	 */
 	public void addReceivePackFilter(Filter filter) {
 		assertNotInitialized();
 		receivePackFilters.add(filter);
 	}

 	private void assertNotInitialized() {
 		if (initialized)
 			throw new IllegalStateException(HttpServerText.get().alreadyInitializedByContainer);
 	}

 	@Override
 	public void init(FilterConfig filterConfig) throws ServletException {
 		super.init(filterConfig);

 		if (resolver == null) {
 			File root = getFile(filterConfig, "base-path");
 			boolean exportAll = getBoolean(filterConfig, "export-all");
 			setRepositoryResolver(new FileResolver<HttpServletRequest>(root, exportAll));
 		}

 		initialized = true;

 		if (uploadPackFactory != UploadPackFactory.DISABLED) {
 			ServletBinder b = serve("*/" + GitSmartHttpTools.UPLOAD_PACK);
 			b = b.through(new UploadPackServlet.Factory(uploadPackFactory));
 			for (Filter f : uploadPackFilters)
 				b = b.through(f);
 			b.with(new UploadPackServlet());
 		}

 		if (receivePackFactory != ReceivePackFactory.DISABLED) {
 			ServletBinder b = serve("*/" + GitSmartHttpTools.RECEIVE_PACK);
 			b = b.through(new ReceivePackServlet.Factory(receivePackFactory));
 			for (Filter f : receivePackFilters)
 				b = b.through(f);
 			b.with(new ReceivePackServlet());
 		}

 		ServletBinder refs = serve("*/" + Constants.INFO_REFS);
 		if (uploadPackFactory != UploadPackFactory.DISABLED) {
 			refs = refs.through(new UploadPackServlet.InfoRefs(
 					uploadPackFactory, uploadPackFilters));
 		}
 		if (receivePackFactory != ReceivePackFactory.DISABLED) {
 			refs = refs.through(new ReceivePackServlet.InfoRefs(
 					receivePackFactory, receivePackFilters));
 		}
 		if (asIs != AsIsFileService.DISABLED) {
 			refs = refs.through(new IsLocalFilter());
 			refs = refs.through(new AsIsFileFilter(asIs));
 			refs.with(new InfoRefsServlet());
 		} else
 			refs.with(new ErrorServlet(HttpServletResponse.SC_NOT_ACCEPTABLE));

 		if (asIs != AsIsFileService.DISABLED) {
 			final IsLocalFilter mustBeLocal = new IsLocalFilter();
 			final AsIsFileFilter enabled = new AsIsFileFilter(asIs);

 			serve("*/" + Constants.HEAD)//
 					.through(mustBeLocal)//
 					.through(enabled)//
 					.with(new TextFileServlet(Constants.HEAD));

 			final String info_alternates = "objects/info/alternates";
 			serve("*/" + info_alternates)//
 					.through(mustBeLocal)//
 					.through(enabled)//
 					.with(new TextFileServlet(info_alternates));

 			final String http_alternates = "objects/info/http-alternates";
 			serve("*/" + http_alternates)//
 					.through(mustBeLocal)//
 					.through(enabled)//
 					.with(new TextFileServlet(http_alternates));

 			serve("*/objects/info/packs")//
 					.through(mustBeLocal)//
 					.through(enabled)//
 					.with(new InfoPacksServlet());

 			serveRegex("^/(.*)/objects/([0-9a-f]{2}/[0-9a-f]{38})$")//
 					.through(mustBeLocal)//
 					.through(enabled)//
 					.through(new RegexGroupFilter(2))//
 					.with(new ObjectFileServlet.Loose());

 			serveRegex("^/(.*)/objects/(pack/pack-[0-9a-f]{40}\\.pack)$")//
 					.through(mustBeLocal)//
 					.through(enabled)//
 					.through(new RegexGroupFilter(2))//
 					.with(new ObjectFileServlet.Pack());

 			serveRegex("^/(.*)/objects/(pack/pack-[0-9a-f]{40}\\.idx)$")//
 					.through(mustBeLocal)//
 					.through(enabled)//
 					.through(new RegexGroupFilter(2))//
 					.with(new ObjectFileServlet.PackIdx());
 		}
 	}

 	private static File getFile(FilterConfig cfg, String param)
 			throws ServletException {
 		String n = cfg.getInitParameter(param);
 		if (n == null || "".equals(n))
 			throw new ServletException(MessageFormat.format(HttpServerText.get().parameterNotSet, param));

 		File path = new File(n);
 		if (!path.exists())
 			throw new ServletException(MessageFormat.format(HttpServerText.get().pathForParamNotFound, path, param));
 		return path;
 	}

 	private static boolean getBoolean(FilterConfig cfg, String param)
 			throws ServletException {
 		String n = cfg.getInitParameter(param);
 		if (n == null)
 			return false;
 		try {
 			return StringUtils.toBoolean(n);
 		} catch (IllegalArgumentException err) {
 			throw new ServletException(MessageFormat.format(HttpServerText.get().invalidBoolean, param, n));
 		}
 	}

 	@Override
 	protected ServletBinder register(ServletBinder binder) {
 		if (resolver == null)
 			throw new IllegalStateException(HttpServerText.get().noResolverAvailable);
 		binder = binder.through(new NoCacheFilter());
 		binder = binder.through(new RepositoryFilter(resolver));
 		return binder;
 	}
 }
	/*
	* Copyright (C) 2009-2010, Google Inc.
	* and other copyright owners as documented in the project's IP log.
	*
	* This program and the accompanying materials are made available
	* under the terms of the Eclipse Distribution License v1.0 which
	* accompanies this distribution, is reproduced below, and is
	* available at http://www.eclipse.org/org/documents/edl-v10.php
	*
	* All rights reserved.
	*
	* Redistribution and use in source and binary forms, with or
	* without modification, are permitted provided that the following
	* conditions are met:
	*
	* - Redistributions of source code must retain the above copyright
	* notice, this list of conditions and the following disclaimer.
	*
	* - Redistributions in binary form must reproduce the above
	* copyright notice, this list of conditions and the following
	* disclaimer in the documentation and/or other materials provided
	* with the distribution.
	*
	* - Neither the name of the Eclipse Foundation, Inc. nor the
	* names of its contributors may be used to endorse or promote
	* products derived from this software without specific prior
	* written permission.
	*
	* THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND
	* CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES,
	* INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
	* OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
	* ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR
	* CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
	* SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
	* NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
	* LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
	* CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
	* STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
	* ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF
	* ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
	*/

	package org.eclipse.jgit.http.server;

	import java.io.File;
	import java.text.MessageFormat;
	import java.util.LinkedList;
	import java.util.List;

	import javax.servlet.Filter;
	import javax.servlet.FilterConfig;
	import javax.servlet.ServletException;
	import javax.servlet.http.HttpServletRequest;
	import javax.servlet.http.HttpServletResponse;

	import org.eclipse.jgit.http.server.glue.ErrorServlet;
	import org.eclipse.jgit.http.server.glue.MetaFilter;
	import org.eclipse.jgit.http.server.glue.RegexGroupFilter;
	import org.eclipse.jgit.http.server.glue.ServletBinder;
	import org.eclipse.jgit.http.server.resolver.AsIsFileService;
	import org.eclipse.jgit.http.server.resolver.DefaultReceivePackFactory;
	import org.eclipse.jgit.http.server.resolver.DefaultUploadPackFactory;
	import org.eclipse.jgit.lib.Constants;
	import org.eclipse.jgit.transport.ReceivePack;
	import org.eclipse.jgit.transport.UploadPack;
	import org.eclipse.jgit.transport.resolver.FileResolver;
	import org.eclipse.jgit.transport.resolver.ReceivePackFactory;
	import org.eclipse.jgit.transport.resolver.RepositoryResolver;
	import org.eclipse.jgit.transport.resolver.UploadPackFactory;
	import org.eclipse.jgit.util.StringUtils;

	/**
	* Handles Git repository access over HTTP.
	* <p>
	* Applications embedding this filter should map a directory path within the
	* application to this filter. For a servlet version, see {@link GitServlet}.
	* <p>
	* Applications may wish to add additional repository action URLs to this
	* servlet by taking advantage of its extension from {@link MetaFilter}.
	* Callers may register their own URL suffix translations through
	* {@link #serve(String)}, or their regex translations through
	* {@link #serveRegex(String)}. Each translation should contain a complete
	* filter pipeline which ends with the HttpServlet that should handle the
	* requested action.
	*/
	public class GitFilter extends MetaFilter {
	private volatile boolean initialized;

	private RepositoryResolver<HttpServletRequest> resolver;

	private AsIsFileService asIs = new AsIsFileService();

	private UploadPackFactory<HttpServletRequest> uploadPackFactory = new DefaultUploadPackFactory();

	private ReceivePackFactory<HttpServletRequest> receivePackFactory = new DefaultReceivePackFactory();

	private final List<Filter> uploadPackFilters = new LinkedList<>();

	private final List<Filter> receivePackFilters = new LinkedList<>();

	/**
	* New servlet that will load its base directory from {@code web.xml}.
	* <p>
	* The required parameter {@code base-path} must be configured to point to
	* the local filesystem directory where all served Git repositories reside.
	*/
	public GitFilter() {
	// Initialized above by field declarations.
	}

	/**
	* New servlet configured with a specific resolver.
	*
	* @param resolver
	* the resolver to use when matching URL to Git repository. If
	* null the {@code base-path} parameter will be looked for in the
	* parameter table during init, which usually comes from the
	* {@code web.xml} file of the web application.
	*/
	public void setRepositoryResolver(RepositoryResolver<HttpServletRequest> resolver) {
	assertNotInitialized();
	this.resolver = resolver;
	}

	/**
	* @param f
	* the filter to validate direct access to repository files
	* through a dumb client. If {@code null} then dumb client
	* support is completely disabled.
	*/
	public void setAsIsFileService(AsIsFileService f) {
	assertNotInitialized();
	this.asIs = f != null ? f : AsIsFileService.DISABLED;
	}

	/**
	* @param f
	* the factory to construct and configure an {@link UploadPack}
	* session when a fetch or clone is requested by a client.
	*/
	@SuppressWarnings("unchecked")
	public void setUploadPackFactory(UploadPackFactory<HttpServletRequest> f) {
	assertNotInitialized();
	this.uploadPackFactory = f != null ? f : (UploadPackFactory<HttpServletRequest>)UploadPackFactory.DISABLED;
	}

	/**
	* @param filter
	* filter to apply before any of the UploadPack operations. The
	* UploadPack instance is available in the request attribute
	* {@link ServletUtils#ATTRIBUTE_HANDLER}.
	*/
	public void addUploadPackFilter(Filter filter) {
	assertNotInitialized();
	uploadPackFilters.add(filter);
	}

	/**
	* @param f
	* the factory to construct and configure a {@link ReceivePack}
	* session when a push is requested by a client.
	*/
	@SuppressWarnings("unchecked")
	public void setReceivePackFactory(ReceivePackFactory<HttpServletRequest> f) {
	assertNotInitialized();
	this.receivePackFactory = f != null ? f : (ReceivePackFactory<HttpServletRequest>)ReceivePackFactory.DISABLED;
	}

	/**
	* @param filter
	* filter to apply before any of the ReceivePack operations. The
	* ReceivePack instance is available in the request attribute
	* {@link ServletUtils#ATTRIBUTE_HANDLER}.
	*/
	public void addReceivePackFilter(Filter filter) {
	assertNotInitialized();
	receivePackFilters.add(filter);
	}

	private void assertNotInitialized() {
	if (initialized)
	throw new IllegalStateException(HttpServerText.get().alreadyInitializedByContainer);
	}

	@Override
	public void init(FilterConfig filterConfig) throws ServletException {
	super.init(filterConfig);

	if (resolver == null) {
	File root = getFile(filterConfig, "base-path");
	boolean exportAll = getBoolean(filterConfig, "export-all");
	setRepositoryResolver(new FileResolver<HttpServletRequest>(root, exportAll));
	}

	initialized = true;

	if (uploadPackFactory != UploadPackFactory.DISABLED) {
	ServletBinder b = serve("*/" + GitSmartHttpTools.UPLOAD_PACK);
	b = b.through(new UploadPackServlet.Factory(uploadPackFactory));
	for (Filter f : uploadPackFilters)
	b = b.through(f);
	b.with(new UploadPackServlet());
	}

	if (receivePackFactory != ReceivePackFactory.DISABLED) {
	ServletBinder b = serve("*/" + GitSmartHttpTools.RECEIVE_PACK);
	b = b.through(new ReceivePackServlet.Factory(receivePackFactory));
	for (Filter f : receivePackFilters)
	b = b.through(f);
	b.with(new ReceivePackServlet());
	}

	ServletBinder refs = serve("*/" + Constants.INFO_REFS);
	if (uploadPackFactory != UploadPackFactory.DISABLED) {
	refs = refs.through(new UploadPackServlet.InfoRefs(
	uploadPackFactory, uploadPackFilters));
	}
	if (receivePackFactory != ReceivePackFactory.DISABLED) {
	refs = refs.through(new ReceivePackServlet.InfoRefs(
	receivePackFactory, receivePackFilters));
	}
	if (asIs != AsIsFileService.DISABLED) {
	refs = refs.through(new IsLocalFilter());
	refs = refs.through(new AsIsFileFilter(asIs));
	refs.with(new InfoRefsServlet());
	} else
	refs.with(new ErrorServlet(HttpServletResponse.SC_NOT_ACCEPTABLE));

	if (asIs != AsIsFileService.DISABLED) {
	final IsLocalFilter mustBeLocal = new IsLocalFilter();
	final AsIsFileFilter enabled = new AsIsFileFilter(asIs);

	serve("*/" + Constants.HEAD)//
	.through(mustBeLocal)//
	.through(enabled)//
	.with(new TextFileServlet(Constants.HEAD));

	final String info_alternates = "objects/info/alternates";
	serve("*/" + info_alternates)//
	.through(mustBeLocal)//
	.through(enabled)//
	.with(new TextFileServlet(info_alternates));

	final String http_alternates = "objects/info/http-alternates";
	serve("*/" + http_alternates)//
	.through(mustBeLocal)//
	.through(enabled)//
	.with(new TextFileServlet(http_alternates));

	serve("*/objects/info/packs")//
	.through(mustBeLocal)//
	.through(enabled)//
	.with(new InfoPacksServlet());

	serveRegex("^/(.*)/objects/([0-9a-f]{2}/[0-9a-f]{38})$")//
	.through(mustBeLocal)//
	.through(enabled)//
	.through(new RegexGroupFilter(2))//
	.with(new ObjectFileServlet.Loose());

	serveRegex("^/(.*)/objects/(pack/pack-[0-9a-f]{40}\\.pack)$")//
	.through(mustBeLocal)//
	.through(enabled)//
	.through(new RegexGroupFilter(2))//
	.with(new ObjectFileServlet.Pack());

	serveRegex("^/(.*)/objects/(pack/pack-[0-9a-f]{40}\\.idx)$")//
	.through(mustBeLocal)//
	.through(enabled)//
	.through(new RegexGroupFilter(2))//
	.with(new ObjectFileServlet.PackIdx());
	}
	}

	private static File getFile(FilterConfig cfg, String param)
	throws ServletException {
	String n = cfg.getInitParameter(param);
	if (n == null \|\| "".equals(n))
	throw new ServletException(MessageFormat.format(HttpServerText.get().parameterNotSet, param));

	File path = new File(n);
	if (!path.exists())
	throw new ServletException(MessageFormat.format(HttpServerText.get().pathForParamNotFound, path, param));
	return path;
	}

	private static boolean getBoolean(FilterConfig cfg, String param)
	throws ServletException {
	String n = cfg.getInitParameter(param);
	if (n == null)
	return false;
	try {
	return StringUtils.toBoolean(n);
	} catch (IllegalArgumentException err) {
	throw new ServletException(MessageFormat.format(HttpServerText.get().invalidBoolean, param, n));
	}
	}

	@Override
	protected ServletBinder register(ServletBinder binder) {
	if (resolver == null)
	throw new IllegalStateException(HttpServerText.get().noResolverAvailable);
	binder = binder.through(new NoCacheFilter());
	binder = binder.through(new RepositoryFilter(resolver));
	return binder;
	}
	}