public DesktopCache getDesktopCache(Session sess) { return _provider.getDesktopCache(sess); }
/** Invokes {@link #getDesktopCacheProvider}'s * {@link DesktopCacheProvider#sessionDidActivate}. */ public void sessionDidActivate(Session sess) { _provider.sessionDidActivate(sess); }
/** Invokes {@link #getDesktopCacheProvider}'s * {@link DesktopCacheProvider#sessionWillPassivate}. */ public void sessionWillPassivate(Session sess) { if (_provider != null) _provider.sessionWillPassivate(sess); //Provider might be stopped before sessionDidActivate is called (Tomcat 5.5.2) }
public void sessionDestroyed(Session sess) { try { getDesktopCacheProvider().sessionDestroyed(sess); } catch (Throwable ex) { log.warn("Failed to cleanup session", ex); } try { getSessionCache().remove(sess); } catch (Throwable ex) { log.warn("Failed to cleanup session", ex); } try { ((SessionCtrl) sess).onDestroyed(); //after called, sess.getNativeSession() is null! } catch (Throwable ex) { log.warn("Failed to cleanup session", ex); } }
_provider.stop(this); } catch (Throwable ex) {
_provider.start(this); _factory.start(this); if (_failover != null)