Código PHP:
Ver original<?php
if (isset($_SESSION['user'])){header("Location: ./capa_presentacion/frameset/mainframe.php");} ?>
Prueba ahora. Recuerda que para hacer manifiesto de sesiones, debes de inicializar para que las reconozca antes...
No te olvides, y suerte.