122123124125126127128129130131132
if ( session != null ) { PortalSessionsManager manager = getManager(); if ( manager != null ) { manager.sessionDestroyed(this); } session = null; } }
117118119120121122123124125126127
106107108109110111112113114115116