Non odiarmi ti prego

Ho messo cosi:
Codice PHP:
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: application/force-download"); 
                   
header("Content-Disposition: attachment; filename=TEST.txt"); 
                   
header("Content-Transfer-Encoding: binary"); 
                   
header("Content-Length: " .filesize($file)); 
                   @
readfile($file) OR die("File non trovato");  
                   
//unlink('Esportazione.txt');
           
exit;
}else die(
"File non trovato"); 
Ma cosi non va, però lo stampa a video, solo non lo scarica.

Ho provato anche questo metodo: http://php.net/manual/en/function.readfile.php ma non va è come se si bloccasse sulle ultime 2 funzioni