public void sessionDestroyed(Session sess) { final SessionCtrl sessCtrl = (SessionCtrl) sess; final DesktopCache dc = sessCtrl.getDesktopCache(); if (dc != null) { sessCtrl.setDesktopCache(null); dc.stop(); } }
public void stop(WebApp wapp) { DesktopCache dc = (DesktopCache) wapp.getAttribute(ATTR_CACHE); if (dc != null) { wapp.removeAttribute(ATTR_CACHE); dc.stop(); } } }