<?php

require_once '../clases/Marcador.php';
session_start();
if (isset($_SESSION['file'])) {
    $file = $_SESSION['file'];
    if (file_exists($file)) {
        Marcador::descargarTxt($file);
    } else {
        echo "No hay archivo para descargar, debe guardar primero.";
    }
} else {
    echo "No hay archivo para descargar, debe guardar primero.";
}