/* * Copyright (c) 2000 David Flanagan.  All rights reserved. * This code is from the book Java Examples in a Nutshell, 2nd Edition. * It is provided AS-IS, WITHOUT ANY WARRANTY either expressed or implied. * You may study, use, and modify it for any non-commercial purpose. * You may distribute it non-commercially as long as you retain this notice. * For a commercial use license, or to purchase the book (recommended), * visit http://www.davidflanagan.com/javaexamples2. */package com.davidflanagan.examples.servlet;import javax.servlet.*;import javax.servlet.http.*;/** * This simple servlet ends the current session, and redirects the user's * browser to a URL specified by the "page" request parameter. It should be * suitable for use by any web application that requires the user to log in. **/public class Logout extends HttpServlet {    public void doGet(HttpServletRequest request, HttpServletResponse response)        throws java.io.IOException    {	// Destroy the user's session	request.getSession().invalidate();	// Figure out what to display next	String nextpage = request.getParameter("page");	// And redirect the user's browser to that page	response.sendRedirect(nextpage);    }    // doPost just invokes doGet    public void doPost(HttpServletRequest request,HttpServletResponse response)        throws java.io.IOException    {	doGet(request, response);    }}