/*
    * Licensed under the GPL License. You may not use this file except in compliance with the License.
    * You may obtain a copy of the License at
    *
    *   https://www.gnu.org/licenses/old-licenses/gpl-2.0.html
    *
    * THIS PACKAGE IS PROVIDED "AS IS" AND WITHOUT ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING,
    * WITHOUT LIMITATION, THE IMPLIED WARRANTIES OF MERCHANTIBILITY AND FITNESS FOR A PARTICULAR
    * PURPOSE.
   */
  package psiprobe.controllers.sessions;
  
  import jakarta.servlet.http.HttpServletRequest;
  import jakarta.servlet.http.HttpServletResponse;
  
  import org.apache.catalina.Context;
  import org.apache.catalina.Session;
  import org.springframework.beans.factory.annotation.Value;
  import org.springframework.stereotype.Controller;
  import org.springframework.web.bind.ServletRequestUtils;
  import org.springframework.web.bind.annotation.RequestMapping;
  import org.springframework.web.servlet.ModelAndView;
  import org.springframework.web.servlet.view.InternalResourceView;
  
  import psiprobe.controllers.AbstractContextHandlerController;
  
  /**
   * Expires a single session of a particular web application.
   */
  @Controller
  public class ExpireSessionController extends AbstractContextHandlerController {
  
    @RequestMapping(path = "/app/expire.htm")
    @Override
    public ModelAndView handleRequest(HttpServletRequest request, HttpServletResponse response)
        throws Exception {
      return super.handleRequest(request, response);
    }
  
    @Override
    protected ModelAndView handleContext(String contextName, Context context,
        HttpServletRequest request, HttpServletResponse response) throws Exception {
  
      String sessionId = ServletRequestUtils.getStringParameter(request, "sid");
      Session session = context.getManager().findSession(sessionId);
      if (session != null) {
        session.expire();
      }
      return new ModelAndView(new InternalResourceView(getViewName()));
    }
  
    @Value("/sessions.htm")
    @Override
    public void setViewName(String viewName) {
      super.setViewName(viewName);
    }
  
  }