Merge remote-tracking branch 'origin/jetty-9.4.x'

2016-11-03 14:26:19 +11:00 · 2016-11-03 14:26:19 +11:00 · 3bbd068399
parent be37729f21 2d6ec3aee2
commit 3bbd068399
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)