/* * @(#)FilterServlet.java	1.4 07/07/06 * * Copyright 2001-2007 Sun Microsystems, Inc. All Rights Reserved. * * Redistribution and use in source and binary forms, with or without * modification, are permitted provided that the following conditions * are met: * *   - Redistributions of source code must retain the above copyright *     notice, this list of conditions and the following disclaimer. * *   - Redistributions in binary form must reproduce the above copyright *     notice, this list of conditions and the following disclaimer in the *     documentation and/or other materials provided with the distribution. * *   - Neither the name of Sun Microsystems nor the names of its *     contributors may be used to endorse or promote products derived *     from this software without specific prior written permission. * * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS * IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, * THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE COPYRIGHT OWNER OR * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF * LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING * NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS * SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. */package demo;import java.io.*;import javax.servlet.*;import javax.servlet.http.*;/** * This servlet is used to determine whether the user is logged in before * forwarding the request to the selected URL. */public class FilterServlet extends HttpServlet {    /**     * This method handles the "POST" submission from two forms: the     * login form and the message compose form.     */    public void doPost(HttpServletRequest request,                        HttpServletResponse  response)                        throws IOException, ServletException {        String servletPath = request.getServletPath();        servletPath = servletPath.concat(".jsp");                getServletConfig().getServletContext().            getRequestDispatcher("/" + servletPath).forward(request, response);    }    /**     * This method handles the GET requests from the client.     */    public void doGet(HttpServletRequest request,                       HttpServletResponse  response)                      throws IOException, ServletException {              // check to be sure we're still logged in         // before forwarding the request.        HttpSession session = request.getSession();        MailUserBean mailuser = (MailUserBean)session.getAttribute("mailuser");        String servletPath = request.getServletPath();        servletPath = servletPath.concat(".jsp");                if (mailuser.isLoggedIn())            getServletConfig().getServletContext().                getRequestDispatcher("/" + servletPath).                forward(request, response);        else            getServletConfig().getServletContext().                getRequestDispatcher("/index.html").                forward(request, response);    }}