149150151152153154155156157158159
public void sessionWillPassivate(HttpSessionEvent event) { PortalSessionsManager manager = getManager(); if ( manager != null ) { manager.sessionWillPassivate(this); } session = null; } private PortalSessionsManager getManager()
144145146147148149150151152153154
public void sessionWillPassivate(HttpSessionEvent event) { PortalSessionsManager manager = getManager(); if ( manager != null ) { manager.sessionWillPassivate(this); } session = null; } /* (non-Javadoc)
133134135136137138139140141142143