Remove unnecessary cast to DefaultSessionIdManager in Session.invalidate

2016-11-03 14:25:30 +11:00 · 2016-11-03 14:25:30 +11:00 · 2d6ec3aee2
parent dfdd324bc8
commit 2d6ec3aee2
1 changed files with 1 additions and 1 deletions
--- a/jetty-server/src/main/java/org/eclipse/jetty/server/session/Session.java
+++ b/jetty-server/src/main/java/org/eclipse/jetty/server/session/Session.java
@ -859,7 +859,7 @@ public class Session implements SessionHandler.SessionIf
            if (result)
            {
                //tell id mgr to remove session from all other contexts
-                ((DefaultSessionIdManager)_handler.getSessionIdManager()).invalidateAll(_sessionData.getId());
+                _handler.getSessionIdManager().invalidateAll(_sessionData.getId());
            }
        }
        catch (Exception e)