01: /*
02: * JBoss, Home of Professional Open Source.
03: * Copyright 2006, Red Hat Middleware LLC, and individual contributors
04: * as indicated by the @author tags. See the copyright.txt file in the
05: * distribution for a full listing of individual contributors.
06: *
07: * This is free software; you can redistribute it and/or modify it
08: * under the terms of the GNU Lesser General Public License as
09: * published by the Free Software Foundation; either version 2.1 of
10: * the License, or (at your option) any later version.
11: *
12: * This software is distributed in the hope that it will be useful,
13: * but WITHOUT ANY WARRANTY; without even the implied warranty of
14: * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
15: * Lesser General Public License for more details.
16: *
17: * You should have received a copy of the GNU Lesser General Public
18: * License along with this software; if not, write to the Free
19: * Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA
20: * 02110-1301 USA, or see the FSF site: http://www.fsf.org.
21: */
22: package org.jboss.test.web.servlets;
23:
24: import java.io.IOException;
25:
26: import javax.servlet.ServletException;
27: import javax.servlet.http.HttpServlet;
28: import javax.servlet.http.HttpServletRequest;
29: import javax.servlet.http.HttpServletResponse;
30: import javax.servlet.http.HttpSession;
31:
32: /**
33: A servlet that logs out a user by invalidating any current session and then
34: redirects the user to the welcome page.
35:
36: @author Brian Stansberry
37: @version $Revision: 57211 $
38: */
39: public class LogoutServlet extends HttpServlet {
40: protected void processRequest(HttpServletRequest request,
41: HttpServletResponse response) throws ServletException,
42: IOException {
43: HttpSession session = request.getSession(false);
44: if (session != null) {
45: session.invalidate();
46: }
47:
48: response.sendRedirect(request.getContextPath() + "/index.html");
49: }
50:
51: protected void doGet(HttpServletRequest request,
52: HttpServletResponse response) throws ServletException,
53: IOException {
54: processRequest(request, response);
55: }
56:
57: protected void doPost(HttpServletRequest request,
58: HttpServletResponse response) throws ServletException,
59: IOException {
60: processRequest(request, response);
61: }
62: }
|