activeSessions.remove(event.getSession());
}
ViewScopeManager manager = (ViewScopeManager) servletContext.getAttribute(ViewScopeManager.VIEW_SCOPE_MANAGER);
if (manager != null) {
manager.sessionDestroyed(event);
}
for (Enumeration e = session.getAttributeNames(); e.hasMoreElements(); ) {
String beanName = (String)e.nextElement();
handleAttributeEvent(beanName,