public void sessionDestroyed(Session sess) {
final SessionCtrl sessCtrl = (SessionCtrl)sess;
final DesktopCache dc = sessCtrl.getDesktopCache();
if (dc != null) {
sessCtrl.setDesktopCache(null);
dc.stop();
}
}
/** Invokes {@link #getDesktopCache}'s {@link DesktopCache#sessionWillPassivate}.
*/