download di un file

[gianiaz]

prova a linkare anzichè direttamente il file .txt un file php che contenga questo:

$filename = "percorso/e/nomedelfile.txt"
$len = filesize($filename);
header('Content-type: text/plain');
header('Content-Length: $len');
header('Content-Disposition: attachment;    filename="nomechevuoidarealfilequandovienesalvato.txt"');
readfile($filename);

fammi sapere, ciao