/*
    * Licensed to the Apache Software Foundation (ASF) under one or more
    * contributor license agreements.  See the NOTICE file distributed with
    * this work for additional information regarding copyright ownership.
    * The ASF licenses this file to You under the Apache License, Version 2.0
    * (the "License"); you may not use this file except in compliance with
    * the License.  You may obtain a copy of the License at
    * 
    *      http://www.apache.org/licenses/LICENSE-2.0
   * 
   * Unless required by applicable law or agreed to in writing, software
   * distributed under the License is distributed on an "AS IS" BASIS,
   * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
   * See the License for the specific language governing permissions and
   * limitations under the License.
   */
  package org.apache.jetspeed.login;
  
  import java.io.IOException;
  
  import javax.servlet.ServletException;
  import javax.servlet.http.HttpServlet;
  import javax.servlet.http.HttpServletRequest;
  import javax.servlet.http.HttpServletResponse;
  
  /***
   * LogoutServlet
   * 
   * @author <a href="mailto:ate@douma.nu">Ate Douma </a>
   * @version $Id: LogoutServlet.java 516881 2007-03-11 10:34:21Z ate $
   */
  public class LogoutServlet extends HttpServlet
  {
  
      public void doGet(HttpServletRequest request,
              HttpServletResponse response) throws IOException, ServletException
      {
          String destination = request.getParameter(LoginConstants.DESTINATION);
          request.getSession(true).invalidate();
          if (destination == null)
          {
              destination = request.getContextPath() + "/"; 
          }
          response.sendRedirect(response.encodeURL(destination));
      }
  }