Закачка файла с неизвестным именем

dk 20.12.2003 19:30

у меня в базе хранится путь к файлу, его уникально имя и расширение. Как бы мне сделать так, чтобы пользователь мог скачать файл

Я не могу написать <a href="${file.id}$file.extension">, т.к. на сервере файл хранится с именем ${file.id}, но без расширения.
Т.е., нужно, чтобы пользователь на что-то нажал, из базы вытащилось id файла, его расширение и пользователю было бы предложено сохранить файл с именем ${file.id}$file.extension

Спасибо

---