From 2d6ec3aee24c3fd80f804f0ec7fefcf16999b4fe Mon Sep 17 00:00:00 2001 From: Jan Bartel Date: Thu, 3 Nov 2016 14:25:30 +1100 Subject: [PATCH] Remove unnecessary cast to DefaultSessionIdManager in Session.invalidate --- .../src/main/java/org/eclipse/jetty/server/session/Session.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git 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 index 5ffc8ee308d..6fe5997f820 100644 --- 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)