From 99fb17a66befc8382d8348cd9717f02edc606794 Mon Sep 17 00:00:00 2001
From: Vedran Pavic <vedran.pavic@gmail.com>
Date: Wed, 27 Sep 2017 11:52:04 +0200
Subject: [PATCH] Adapt to Spring `WebSession` API changes

---
 .../web/server/session/SpringSessionWebSessionStore.java     | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/spring-session-core/src/main/java/org/springframework/session/web/server/session/SpringSessionWebSessionStore.java b/spring-session-core/src/main/java/org/springframework/session/web/server/session/SpringSessionWebSessionStore.java
index 77f7c760..1f3d507f 100644
--- a/spring-session-core/src/main/java/org/springframework/session/web/server/session/SpringSessionWebSessionStore.java
+++ b/spring-session-core/src/main/java/org/springframework/session/web/server/session/SpringSessionWebSessionStore.java
@@ -157,6 +157,11 @@ public class SpringSessionWebSessionStore<S extends Session> implements WebSessi
 					|| (State.NEW.equals(value) && !getAttributes().isEmpty()));
 		}
 
+		@Override
+		public Mono<Void> invalidate() {
+			return SpringSessionWebSessionStore.this.sessions.deleteById(this.session.getId());
+		}
+
 		@Override
 		public Mono<Void> save() {
 			return SpringSessionWebSessionStore.this.sessions.save(this.session);