public void sessionDestroyed ( final HttpSessionEvent event ) { final HttpSession session = event . getSession ( ) ; final String id = session . getId ( ) ; SESSIONS . remove ( id ) ; counter -- ; }
Fires whenever a session is destroyed .