[Ur] File I/O

[Adam Chlipala]

James Parker wrote:
>> What do you mean by "not clean," and do you think the same would apply to an Ur/Web implementation?
>>      
> When storing data files in the database, we had to store additional metadata such as headers. Then when the user downloaded the files, we had to resupply the metadata so the browser could properly handle the download. I think this would probably still apply if the files were stored in the database.
>    

Yes, this would apply to Ur/Web code, too.  You can be sure that Ur/Web 
won't let you send a file without sending along all needed metadata.  
That turns out to be just a MIME type.