diff options
Diffstat (limited to 'jetty-security/src/main/java/org/eclipse/jetty/security/DefaultUserIdentity.java')
-rw-r--r-- | jetty-security/src/main/java/org/eclipse/jetty/security/DefaultUserIdentity.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/jetty-security/src/main/java/org/eclipse/jetty/security/DefaultUserIdentity.java b/jetty-security/src/main/java/org/eclipse/jetty/security/DefaultUserIdentity.java index 8283dbbd43..28b0cb3a44 100644 --- a/jetty-security/src/main/java/org/eclipse/jetty/security/DefaultUserIdentity.java +++ b/jetty-security/src/main/java/org/eclipse/jetty/security/DefaultUserIdentity.java @@ -31,11 +31,11 @@ import org.eclipse.jetty.server.UserIdentity; * */ public class DefaultUserIdentity implements UserIdentity -{ +{ private final Subject _subject; private final Principal _userPrincipal; private final String[] _roles; - + public DefaultUserIdentity(Subject subject, Principal userPrincipal, String[] roles) { _subject=subject; |