public class DelegateHeaderPrincipalProvider extends HttpHeaderPrincipalProvider
Modifier and Type | Class and Description |
---|---|
static class |
DelegateHeaderPrincipalProvider.DelegatedHeaderPrincipal |
HttpHeaderPrincipalProvider.HttpHeaderPrincipal
Modifier and Type | Field and Description |
---|---|
protected static String |
DELEGATE_HEADER |
Constructor and Description |
---|
DelegateHeaderPrincipalProvider()
Default Constructor
|
Modifier and Type | Method and Description |
---|---|
protected Principal |
createPrincipal(String name) |
void |
destroy() |
void |
doFilter(javax.servlet.ServletRequest request,
javax.servlet.ServletResponse response,
javax.servlet.FilterChain chain) |
Principal |
getDelegate(javax.servlet.http.HttpServletRequest request) |
void |
init(javax.servlet.FilterConfig filterConfig) |
getPrincipals, setHeaderName, setSeparator
protected static final String DELEGATE_HEADER
public DelegateHeaderPrincipalProvider()
public Principal getDelegate(javax.servlet.http.HttpServletRequest request)
request
- from which the principal header is extractedRepositoryConfigurationException
- if more than one delegate foundprotected Principal createPrincipal(String name)
createPrincipal
in class HttpHeaderPrincipalProvider
public void init(javax.servlet.FilterConfig filterConfig)
init
in interface javax.servlet.Filter
public void doFilter(javax.servlet.ServletRequest request, javax.servlet.ServletResponse response, javax.servlet.FilterChain chain) throws IOException, javax.servlet.ServletException
doFilter
in interface javax.servlet.Filter
IOException
javax.servlet.ServletException
public void destroy()
destroy
in interface javax.servlet.Filter
Copyright © 2013–2019 DuraSpace, Inc.. All rights reserved.