/**
 * @(#) Logout.java
 */

package com.tarisan.servlets;

import com.tarisan.log.*;
import java.io.IOException;
import jakarta.servlet.*;
import jakarta.servlet.http.*;


/**
 * Logout (desconexión) del usuario en la aplicación Tarisan.
 * Invalida la sesión del usuario conectado, retornándole a la página de Login.
 * @author <a href="mailto:sistemas@imqnavarra.com">Dpto. Informática</a>.
 * @version 1.0, 24/09/2003
 */
public class Logout extends HttpServlet
{

    /**
     * Recepción de la petición de desconexión de la aplicación. Invalida la sesión.
     * @param request Objeto <code>HttpServletRequest</code> enviado por el cliente.
     * @param response Objeto <code>HttpServletResponse</code> que recibirá el cliente.
     */
    public void service(HttpServletRequest request, HttpServletResponse response) throws IOException, ServletException
    {
	LogTarisan.logger.log(NivelLog.INFO, "Logout.service().INI");

	response.setHeader("Expires", "0");
	response.setHeader("Pragma", "no-cache");
	response.setHeader("Cache-Control", "no-cache");
	HttpSession sesion = request.getSession(true);

	if(sesion.isNew())
	{
		LogTarisan.logger.log(NivelLog.DEBUG, "Sesión no iniciada");
		response.sendRedirect("../html/login.html");
	}
	else
	{
			sesion.invalidate();

		LogTarisan.logger.log(NivelLog.DEBUG, "Desconexión de Tarisan");
		response.sendRedirect("../html/login.html");
	}

	LogTarisan.logger.log(NivelLog.INFO, "Logout.service().FIN");
    }

}