Coverage report

  %line %branch
org.apache.jetspeed.login.LogoutServlet
0% 
0% 

 1  
 /*
 2  
  * Licensed to the Apache Software Foundation (ASF) under one or more
 3  
  * contributor license agreements.  See the NOTICE file distributed with
 4  
  * this work for additional information regarding copyright ownership.
 5  
  * The ASF licenses this file to You under the Apache License, Version 2.0
 6  
  * (the "License"); you may not use this file except in compliance with
 7  
  * the License.  You may obtain a copy of the License at
 8  
  * 
 9  
  *      http://www.apache.org/licenses/LICENSE-2.0
 10  
  * 
 11  
  * Unless required by applicable law or agreed to in writing, software
 12  
  * distributed under the License is distributed on an "AS IS" BASIS,
 13  
  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 14  
  * See the License for the specific language governing permissions and
 15  
  * limitations under the License.
 16  
  */
 17  
 package org.apache.jetspeed.login;
 18  
 
 19  
 import java.io.IOException;
 20  
 
 21  
 import javax.servlet.ServletException;
 22  
 import javax.servlet.http.HttpServlet;
 23  
 import javax.servlet.http.HttpServletRequest;
 24  
 import javax.servlet.http.HttpServletResponse;
 25  
 
 26  
 /**
 27  
  * LogoutServlet
 28  
  * 
 29  
  * @author <a href="mailto:ate@douma.nu">Ate Douma </a>
 30  
  * @version $Id: LogoutServlet.java 516881 2007-03-11 10:34:21Z ate $
 31  
  */
 32  0
 public class LogoutServlet extends HttpServlet
 33  
 {
 34  
 
 35  
     public void doGet(HttpServletRequest request,
 36  
             HttpServletResponse response) throws IOException, ServletException
 37  
     {
 38  0
         String destination = request.getParameter(LoginConstants.DESTINATION);
 39  0
         request.getSession(true).invalidate();
 40  0
         if (destination == null)
 41  
         {
 42  0
             destination = request.getContextPath() + "/"; 
 43  
         }
 44  0
         response.sendRedirect(response.encodeURL(destination));
 45  0
     }
 46  
 }

This report is generated by jcoverage, Maven and Maven JCoverage Plugin.