Ho provato con questo codice, ho pure verificato che $file_name contenga l'indirizzo corretto del file pdf (malgrado non sia per niente convinto sull'esattezza del codice al punto
$file_name = "listini/listino$HTTP_SESSION_VARS[listi].pdf";
però mi tira fuori nel browser tutta una serie di simboli criptati come se leggessi il pdf con un notepad
Codice PHP:
$file_name "listini/listino$HTTP_SESSION_VARS[listi].pdf"
header("Expires: Mon, 12 Jul 1976 06:20:00 GMT");
header("Last-Modified: " gmdate("D, d M Y H:i:s") . " GMT");

header("Cache-Control: no-store, no-cache, must-revalidate");
header("Cache-Control: post-check=0, pre-check=0"false);

header("Pragma: no-cache");

header('Content-type: application/octet-stream');
header('Content-Disposition: attachment; filename="'.basename($file_name).'"');
readfile($file_name);