Problemas con sesion en php?

[Andrew777]

y para salir el siguiente archivo logout.php

Código PHP:

<?php
    session_start();
    //verifica si el que ingresa está logueado o no
    if (!isset($_SESSION['andromeda']) || $_SESSION['andromeda'] !== true) 
    {
        header('Location: index.html');
        exit;
    }
    session_destroy();
    header('Location: index.html');
?>
 

Al actualizar manualmente se pierden las variables de sesion.
saludos y gracias por tu atencion