[Ur] File I/O

Adam Chlipala adamc at impredicative.com
Wed Nov 2 18:51:07 EDT 2011


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.



More information about the Ur mailing list