Merge branch 'master' of ssh://git.eclipse.org/gitroot/jetty/org.eclipse.jetty.project

This commit is contained in:
Greg Wilkins 2015-09-24 08:41:24 +10:00
commit 382c8e3738
1 changed files with 4 additions and 7 deletions

View File

@ -654,14 +654,11 @@ public class InfinispanSessionManager extends AbstractSessionManager
long now = System.currentTimeMillis();
LOG.info("SessionManager for context {} scavenging at {} ", getContextPath(getContext()), now);
synchronized (_sessions)
for (Map.Entry<String, Session> entry:_sessions.entrySet())
{
for (Map.Entry<String, Session> entry:_sessions.entrySet())
{
long expiry = entry.getValue().getExpiry();
if (expiry > 0 && expiry < now)
candidateIds.add(entry.getKey());
}
long expiry = entry.getValue().getExpiry();
if (expiry > 0 && expiry < now)
candidateIds.add(entry.getKey());
}
for (String candidateId:candidateIds)