01: /*
02: * JOnAS: Java(TM) Open Application Server
03: * Copyright (C) 1999-2005 Bull S.A.
04: * Contact: jonas-team@objectweb.org
05: *
06: * This library is free software; you can redistribute it and/or
07: * modify it under the terms of the GNU Lesser General Public
08: * License as published by the Free Software Foundation; either
09: * version 2.1 of the License, or any later version.
10: *
11: * This library is distributed in the hope that it will be useful,
12: * but WITHOUT ANY WARRANTY; without even the implied warranty of
13: * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
14: * Lesser General Public License for more details.
15: *
16: * You should have received a copy of the GNU Lesser General Public
17: * License along with this library; if not, write to the Free Software
18: * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307
19: * USA
20: *
21: * Initial developer(s): Brice Ruzand
22: *
23: * --------------------------------------------------------------------------
24: * $Id$
25: * --------------------------------------------------------------------------
26: */
27: package emb.sample.session;
28:
29: import javax.ejb.RemoveException;
30: import javax.servlet.http.HttpSessionEvent;
31: import javax.servlet.http.HttpSessionListener;
32:
33: /**
34: * The session manager to destroy used media
35: */
36: public class HttpSessionMgr implements HttpSessionListener {
37:
38: /**
39: * @see javax.servlet.http.HttpSessionListener#sessionCreated(javax.servlet.http.HttpSessionEvent)
40: * @inheritDoc
41: */
42: public void sessionCreated(HttpSessionEvent se) {
43: // do nothing
44: }
45:
46: /**
47: * Remove all media created during this session
48: *
49: * @see javax.servlet.http.HttpSessionListener#sessionDestroyed(javax.servlet.http.HttpSessionEvent)
50: * @inheritDoc
51: */
52: public void sessionDestroyed(HttpSessionEvent se) {
53:
54: // get session bean
55: MediaSampleSessionLocal sessionBean = (MediaSampleSessionLocal) se
56: .getSession().getAttribute("sessionBean");
57:
58: if (sessionBean != null) {
59: try {
60:
61: // the session bean
62: sessionBean.remove();
63:
64: } catch (RemoveException e) {
65: // do nothing
66: }
67: se.getSession().setAttribute("sessionBean", null);
68: }
69:
70: }
71: }
|