Y el control_sesion.php lo cambie por lo siguiente:
Código PHP:
Ver original<?php
//control de sesion ...
//session_destroy();
if (!isset($_SESSION['andromeda']) || $_SESSION['andromeda'] !== true) {
//session_destroy();
header('Location: index.html'); }
//fin control de sesion...
?>