blob: eed247dd87c42d84111e8de45fe71bb6ea8ea1a9 [file] [log] [blame]
/*
* Copyright (c) 1997, 2018 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
*/
import java.io.*;
import jakarta.servlet.*;
import jakarta.servlet.http.*;
public class CheckSession extends HttpServlet {
public void doGet(HttpServletRequest req, HttpServletResponse res)
throws ServletException, IOException {
HttpSession session = req.getSession(false);
if (session == null) {
throw new ServletException("Missing session");
}
if (!"MYVALUE".equals(session.getAttribute("MYNAME"))) {
throw new ServletException("Missing session attribute MYNAME");
}
if (session.getId() == null ||
!session.getId().equals(session.getAttribute("ID"))) {
throw new ServletException("Missing session attribute ID");
}
}
}