Adapt to Spring WebSession API changes

2017-09-27 11:52:04 +02:00
parent 937b2fcbf1
commit 99fb17a66b
1 changed files with 5 additions and 0 deletions
--- 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);