특정한 파일을 사용자 컴퓨터에 저장하기 > PHP

먼저 a.php에서 저장하겠냐고 form을 만들구선..
거기에 action=b.php라고 하면

b.php에는 아래의 것이 있어야 합니다.

 $file_name="mat1"; //파일명 <- 수정 가능
$ext="dat"; //확장자명 <- 수정가능
$crlf="\n";

 header("Content-disposition: filename=$file_name.$ext");
 header("Content-type: application/octetstream");
 header("Pragma: no-cache");
 header("Expires: 0");

 $client=getenv("HTTP_USER_AGENT");
 if(ereg('[^(]*\((.*)\)[^)]*',$client,$regs))
 {
 $os = $regs[1];
 if (eregi("Win",$os))
 $crlf="\r\n";
 }

이건 저도 이곳저곳 뒤져본거라 정확히는 모르는데
 일단 저장하겠냐 그냥 열어 보겠냐는 창이 나오고 저장하겠다고 하면
 새창에 디렉토리를 정하게 하고 파일명이랑 확장자가 나오거든요
 거기서 바꿔도 되고...

이게 맞는지 모르겠습니다.