Imprimir Página - Como funciona PHP en esto?

Hola.
Tengo una pregunta, dado un archivo_x.php y que ese archivo esté compuesto de la siguiente manera para que solo pueda ser visualizado por personas que no tengan la sesión iniciada:

Código

<!-- archivo_x.php -->
<?php
// protocolo de seguridad
if(isset($_SESSION['usuario_on']) // si el usuario tiene la sesión iniciada
{
    Mandar('index.php'); // esta función además de enviarlo a otra parte, también ejecuta un exit();
}
?>
<html>
<head>
...
</head>
<body>
...
[formulario en html]
...
<?php
if(isset($_POST['boton_enviar'])
{
    // en esta parte de la lógica de envío del formulario, tengo que poner la condicional para saber si el usuario no tiene iniciada iniciada y solo entonces ejecutar este código?
}
?>
</body>
</html>

Hice algunas pruebas y parece que no sería necesario, al enviarse el formulario recarga la página y se lee el protocolo de seguridad de arriba y después el envío del formulario.
Es así?

Foro de elhacker.net

Programación => Desarrollo Web => Mensaje iniciado por: Leguim en 3 Mayo 2023, 21:40 pm