public static synchronized void sessionDestroyed(HttpSessionEvent ev) {
HttpSession httpSession = ev.getSession();
String id = httpSession.getId();
synchronized (lookupSessionById) {
lookupSessionById.remove(id);
}
// Forget HTTP-session:
{
lookupHttpSessionById.remove(id);
}
}
protected void doDelete(HttpServletRequest req, HttpServletResponse resp)
throws ServletException, IOException {
String pathInfo = req.getPathInfo();
HttpSession session = req.getSession();
if (session == null) {
resp.setStatus(401);
return;
}
String username = (String) session.getAttribute("username");
if (username == null) {
resp.setStatus(401);
return;
}
Map userMap = loadUserSettingsMap(username);
if (userMap == null) {
resp.setStatus(401);
return;
}
if (pathInfo.equals("/")) {
userMap.clear();
}
String key = pathInfo.substring(1);
userMap.remove(key);
saveUserSettingsMap(username, userMap);
return;
}
@Override
public void sessionDestroyed(HttpSessionEvent _se) {
try {
HttpSession tempSession = sessions.remove(_se.getSession().getId());
} catch (NullPointerException | UnsupportedOperationException | ClassCastException e) {
}
setUsersOnline(getUsersOnline() - 1);
}
@Override
public void removeAttribute(String name) {
attributes.remove(name);
}
public void removeAttribute(String s) {
attributeMap.remove(s);
}
