Change Filename Before Download

[refiking]

How can I chane the filename of a file that's stored on my server before a person downloads it.  For example...

 

If it's resultsID123.pdf, I'd like it to be downloaded as yourresults.pdf.

 

[kenrbnsn]

These are the headers I  send, when my scripts send a PDF file.

 

<?php
	header("Pragma: no-cache");
	header("Expires: 0");
	header("Cache-Control: no-cache, must-revalidate, post-check=0, pre-check=0");
	header("Content-type: application/pdf");
	header("Content-Disposition: attachment; filename=new_file_" . $gs[$_GET['issue']] . ".pdf");
	header("Content-Length: ".filesize('./' . $_GET['issue'] . '.pdf'));
	header("Content-Transfer-Encoding: binary"); 
?>

 

It's the "Content-Disposition" header which sets the filename.

 

Ken

 

[refiking]

Where is the original filename?