1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17 package org.apache.jetspeed.container.session;
18
19 import javax.servlet.http.HttpSession;
20
21 /***
22 * PortalSessionsMonitor
23 *
24 * @author <a href="mailto:ate@douma.nu">Ate Douma</a>
25 * @version $Id: $
26 */
27 public interface PortalSessionsManager
28 {
29 String SERVICE_NAME = PortalSessionsManager.class.getName();
30
31 void portalSessionCreated(HttpSession portalSession);
32 void portalSessionWillPassivate(PortalSessionMonitor psm);
33 void portalSessionDidActivate(PortalSessionMonitor psm);
34 void portalSessionDestroyed(PortalSessionMonitor psm);
35 void checkMonitorSession(String contextPath, HttpSession portalSession, HttpSession paSession);
36 void sessionWillPassivate(PortletApplicationSessionMonitor pasm);
37 void sessionDidActivate(PortletApplicationSessionMonitor pasm);
38 void sessionDestroyed(PortletApplicationSessionMonitor pasm);
39 /***
40 * Returns the number of current sessions. Used to track the number guest users in portal.
41 * @return Number of currently created sessions in the registry
42 */
43 int sessionCount();
44 }