diff options
author | Greg Wilkins | 2010-07-20 00:46:54 +0000 |
---|---|---|
committer | Greg Wilkins | 2010-07-20 00:46:54 +0000 |
commit | 4dd6536e1be0ef6b2d778b746a83c52db8bda7ba (patch) | |
tree | a5609ad9e18b7a000c9c008902e9d3095cb3068f /jetty-servlet/src/main | |
parent | 6478b5ede70be4978a2f343e5db4c20573a7adcb (diff) | |
download | org.eclipse.jetty.project-4dd6536e1be0ef6b2d778b746a83c52db8bda7ba.tar.gz org.eclipse.jetty.project-4dd6536e1be0ef6b2d778b746a83c52db8bda7ba.tar.xz org.eclipse.jetty.project-4dd6536e1be0ef6b2d778b746a83c52db8bda7ba.zip |
320073 readded role getter/setters
git-svn-id: svn+ssh://dev.eclipse.org/svnroot/rt/org.eclipse.jetty/jetty/trunk@2156 7e9141cc-0065-0410-87d8-b60c137991c4
Diffstat (limited to 'jetty-servlet/src/main')
-rw-r--r-- | jetty-servlet/src/main/java/org/eclipse/jetty/servlet/ServletHolder.java | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/jetty-servlet/src/main/java/org/eclipse/jetty/servlet/ServletHolder.java b/jetty-servlet/src/main/java/org/eclipse/jetty/servlet/ServletHolder.java index fe684d1690..abb63424f5 100644 --- a/jetty-servlet/src/main/java/org/eclipse/jetty/servlet/ServletHolder.java +++ b/jetty-servlet/src/main/java/org/eclipse/jetty/servlet/ServletHolder.java @@ -479,6 +479,18 @@ public class ServletHolder extends Holder<Servlet> implements UserIdentity.Scope } /* ------------------------------------------------------------ */ + public String getRunAsRole() + { + return _runAsRole; + } + + /* ------------------------------------------------------------ */ + public void setRunAsRole(String role) + { + _runAsRole = role; + } + + /* ------------------------------------------------------------ */ /** Service a request with this servlet. */ public void handle(Request baseRequest, @@ -614,7 +626,6 @@ public class ServletHolder extends Holder<Servlet> implements UserIdentity.Scope { return ServletHolder.this.getInitOrder(); } - public void setRunAsRole(String role) { |