Ho letto il manuale, ho seguito l'esempio del file pdf (che non a caso è proprio il tipo di file che devo far scaricare), ma non funziona.
Di seguito il sorgente php:

Codice PHP:
// prima eseguo la query, non importa riportarla qui
if (@mysql_num_rows($cerca)) {
        
$arr mysql_fetch_array($cerca);
        
Header('Content-type: application/pdf');
        
Header('Content-Disposition: attachment; filename="pdf/{$arr['pdf']}"');

Mi sembra corretto ma non succede assolutamente niente