PHP - как подменить имя файла для закачки?
 

Пишу видеоархив.Под файлы выделена одна таблица mysql - в ней помимо остальных полей есть id записи и filename - начальное имя файла, то есть такое, какое было при поступлении файла на сервер. На сервере же файлы хранятся под другими именами, к примеру video1.tmp, video2.tmp ... по правилу "video".$id.".tmp"И когда пользователь захочет скачать файл себе с сервера, такие файлы он и получит (video1.tmp, video2.tmp ... ).ПРОБЛЕМА: как сделать так, чтобы с сервера выкачивался к примеру файл video2.tmp, а к пользователю поступил к примеру scarymovie.avi (имя хранится в бд)?То есть как подменить имя файла при закачке пользователю? :?: Может есть какие то функции в стилеcopyxxx(old_name, new_name, ...) :?: