import java.io.*;
import javax.servlet.http.*;

/**
 * Invalidates a user's session information, prior to the default
 * timeout period.  Safe to use even when no session data exists
 * for a user.
 */
public class Logout extends HttpServlet
{
	public void doGet(HttpServletRequest req, HttpServletResponse rsp)
	{
		PrintWriter out = null;

		try
		{
			HttpSession session = req.getSession(true);
			session.invalidate();

			rsp.setContentType("text/html");
			out = rsp.getWriter();

			HTMLUtils.printRedirectPage(out, "You are now logged out.",
				"Login");
		}
		catch(Exception e)
		{
			try
			{
				HTMLUtils.printException(out, e);
			} catch(Exception e2) {}
		}
	}
}