public class HttpHeaderPrincipalProvider extends Object implements PrincipalProvider
PrincipalProvider
Modifier and Type | Class and Description |
---|---|
protected static class |
HttpHeaderPrincipalProvider.HttpHeaderPrincipal |
Constructor and Description |
---|
HttpHeaderPrincipalProvider() |
Modifier and Type | Method and Description |
---|---|
Set<Principal> |
getPrincipals(javax.jcr.Credentials credentials)
Extract principals from the provided credentials.
|
void |
setHeaderName(String headerName) |
void |
setSeparator(String separator) |
public HttpHeaderPrincipalProvider()
public void setHeaderName(String headerName)
headerName
- The name of the header from which to extract principalspublic void setSeparator(String separator)
separator
- The string by which to split header valuespublic Set<Principal> getPrincipals(javax.jcr.Credentials credentials)
PrincipalProvider
If no principals can be extracted, for example because the credentials are of a different type than expected, implementations of this method should return the empty set rather than null.
getPrincipals
in interface PrincipalProvider
credentials
- the credentialsCopyright © 2013–2015 DuraSpace, Inc.. All rights reserved.