Description
No entries are removed from DiskPageStore.sessionIdToEntryMap. I guess, this should be added to the DiskPageStore.unbind(String sessionId) method:
public void unbind(String sessionId)
{
// FIX: replace get() with remove()
SessionEntry entry = (SessionEntry)sessionIdToEntryMap.get(sessionId);
if (entry != null)
{
if (isSynchronous())
else
{
List pages = getPagesToSaveList(sessionId);
synchronized (pages)
pagesToSaveAll.remove(sessionId);
}
}
}