It seems I succeeded in setting the headers correctly: files are downloaded correctly and their actual names are passed on to the browser.
I volunteer for writing an example of file download for the unexperienced (like me) that could approach web programming with rivet (a new subsection in the "examples and usage" section?) The much despised php language has lots of documentation available on the web and on books, no doubt. I also wonder what is the real purpose of the popular command line utility HEAD. I thought it would print the actual headers sent over by the script running on the web server, but it seems it didn't... -- Massimo Manghi ---------------------------------------------------------------- This message was sent using IMP, the Internet Messaging Program. ---------------------------------------------------------------- Imp3 - Webmail del Dipartimento di Biologia Evolutiva e Funzionale --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
