mindol1004/spring-session
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Polish

Browse Source 
See gh-1128
This commit is contained in:
Vedran Pavic
2018-09-13 08:55:13 +02:00
parent 5d0775b802
commit 1a3da5944d
1 changed files with 6 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
spring-session-data-redis/src/main/java/org/springframework/session/data/redis/RedisOperationsSessionRepository.java
View File

@@ -391,6 +391,10 @@ public class RedisOperationsSessionRepository implements
this.redisFlushMode = redisFlushMode; this.redisFlushMode = redisFlushMode;
} }
/**
* Sets the database index to use. Defaults to {@link #DEFAULT_DATABASE}.
* @param database the database index to use
*/
public void setDatabase(int database) { public void setDatabase(int database) {
this.database = database; this.database = database;
configureSessionChannels(); configureSessionChannels();
@@ -541,8 +545,8 @@ public class RedisOperationsSessionRepository implements
return; return;
} }
boolean isDeleted = (this.sessionDeletedChannel).equals(channel); boolean isDeleted = channel.equals(this.sessionDeletedChannel);
if (isDeleted || (this.sessionExpiredChannel).equals(channel)) { if (isDeleted || channel.equals(this.sessionExpiredChannel)) {
int beginIndex = body.lastIndexOf(":") + 1; int beginIndex = body.lastIndexOf(":") + 1;
int endIndex = body.length(); int endIndex = body.length();
String sessionId = body.substring(beginIndex, endIndex); String sessionId = body.substring(beginIndex, endIndex);