Vedran Pavic d3134ad065 Ignore failed rename operation for deleted session ...

Attempting to change session id for a deleted session currently results in "ERR no such key" error on rename operation of expired key. This commit addressed the problem by ignoring the aforementioned error.

Closes #1137

2018-09-04 23:07:27 +02:00

..

src

Ignore failed rename operation for deleted session

2018-09-04 23:07:27 +02:00

spring-session-data-redis.gradle

Add Redis implementation of ReactorSessionRepository

2017-10-06 18:45:42 +02:00