Como descargar un archivo generado con PHP

[Dr_Spider]

Saludos

Tengo la siguiente duda

Quiero descargar un archivo generado a partir de MySQL y PHP, en mi caso quiero que una lista de nombres y apellidos se descarge como una archivo de texto plano, pero esta lista estara generada con PHP.

Ahora bien intente con el codigo que encontre:

Código PHP:

  <?php
$enlace = "lista.php";
header ("Content-Disposition: attachment; filename=lista.txt");
header ("Content-Type: application/octet-stream");
header ("Content-Length: ".filesize($enlace));
readfile($enlace);
?>   

Pero esto me descarga el codigo fuente del archivo PHP y lo que quiero es que descargue el texto generado por el archivo PHP

Gracias de antemano.

[pateketrueke]

cambia ... readfile($enlace);
por ... include($enlace);

ya que es obvio... andabas leyendo el código fuente, no ejecutandolo...

Edito: NOOOOOOO.... esto estaria mal!!!

asi deberia ser...

Código PHP:

  <?php
$enlace = "lista.php";
// primer ejecutamos....

ob_start();
include($enlace);

$content = ob_get_contents();
ob_end_clean();


header ("Content-Disposition: attachment; filename=lista.txt");
header ("Content-Type: application/octet-stream");
header ("Content-Length: ".strlen($content));

echo $content;
?>   

NOTA:

me explico.... necesitabas evaluar el PHP, ejecutarlo....
pero entonces... content-length no seria exacto al hacer el filesize($enlace)

por eso... bufferizamos, y ya capturado el resultado... medimos la longitud real

[Dr_Spider]

Muchas Gracias.. pateketrueke

Ya funciona bien...