vedo ora un'errore di sintassi...

Codice PHP:
$file 'percorso/sul/server/nome_file.txt'

if (
file_exists($file)) 
           { 
                   
header("Pragma: public"); 
                   
header('Expires: '.gmdate('D, d M Y H:i:s').' GMT'); 
                   
header("Cache-Control: must-revalidate, post-check=0, pre-check=0"); 
                   
header("Cache-Control: private",false); 
                   
header("Content-Type: text/plain"); 
                   
header("Content-Disposition: attachment; filename=nome_file.php"); 
                   
header("Content-Transfer-Encoding: binary"); 
                   
header("Content-Length: " .filesize($file)); 
                   @
readfile($file) OR die("File non trovato"); 
                   exit; 
           } 
        else die(
"File non trovato"); 
probabile che il problema fosse quello...