513514515516517518519520521522523
try { session.getMaxInactiveInterval(); _sessions.remove(session.getId()); session.invalidate(); } catch (Throwable e) { log.log(Level.FINER, e.toString(), e); } } } finally {}
582583584585586587588589590591592
public void notifyRemove(String id) { SessionArrayValue session = _sessions.remove(id); if (session != null) session.invalidate(); } /** * Notification from the cluster. */
545546547548549550551552553554555
try { long maxIdleTime = session.getMaxInactiveInterval(); _sessions.remove(session.getId()); session.invalidate(); } catch (Throwable e) { log.log(Level.FINER, e.toString(), e); } } } finally {
617618619620621622623624625626627
551552553554555556557558559560561
623624625626627628629630631632633