/*
 * Copyright (c) 2007, 2020 Oracle and/or its affiliates. All rights reserved.
 *
 * This program and the accompanying materials are made available under the
 * terms of the Eclipse Public License v. 2.0, which is available at
 * http://www.eclipse.org/legal/epl-2.0.
 *
 * This Source Code may also be made available under the following Secondary
 * Licenses when the conditions for such availability set forth in the
 * Eclipse Public License v. 2.0 are satisfied: GNU General Public License,
 * version 2 with the GNU Classpath Exception, which is available at
 * https://www.gnu.org/software/classpath/license.html.
 *
 * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
 */

/*
 * $Id$
 */

package servlet.tck.spec.security.secform;

import java.io.IOException;
import java.io.PrintWriter;

import jakarta.servlet.ServletException;
import jakarta.servlet.http.HttpServlet;
import jakarta.servlet.http.HttpServletRequest;
import jakarta.servlet.http.HttpServletResponse;

public class IncludedServlet extends HttpServlet {

  public void service(HttpServletRequest request, HttpServletResponse response)
      throws ServletException, IOException {

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

    out.println("Contents from IncludedServlet");

    out.println("From IncludedServlet: getRemoteUser(): "
        + request.getRemoteUser() + "<BR>");

    out.println("From IncludedServlet: isUserInRole(\"Administrator\"): !"
        + request.isUserInRole("Administrator") + "!<BR>");

    // String forwardedServletAttribute=null;
    // HttpSession session = request.getSession(true);
    // out.println("HttpSession Id :"+ session.getId());

    // forwardedServletAttribute =
    // (String)session.getAttribute("ForwardedServletAttribute");
    // out.println("Attributes set from Forwarded Servlet: "+
    // forwardedServletAttribute);

    // if(forwardedServletAttribute!=null)
    // out.println("HttpSession object attributes are shared between contexts");

    out.flush();
    out.close();

  }
}
