log

age author description
Sun, 26 Apr 2009 10:45:59 -0400 Adam Chlipala Reading blobs from the database
Sun, 26 Apr 2009 09:02:17 -0400 Adam Chlipala Returning a blob as page result
Sat, 25 Apr 2009 14:47:16 -0400 Adam Chlipala Add MIME type to file
Sat, 25 Apr 2009 14:35:49 -0400 Adam Chlipala Only allow single-file upload per control
Sat, 25 Apr 2009 14:04:38 -0400 Adam Chlipala Prepared statements with blobs
Sat, 25 Apr 2009 13:59:11 -0400 Adam Chlipala Initial support for blobs and upload
Thu, 23 Apr 2009 16:13:02 -0400 Adam Chlipala Cookie signatures for RPCs
Thu, 23 Apr 2009 14:10:10 -0400 Adam Chlipala Only use cookie signatures when cookies might be read
Thu, 16 Apr 2009 19:12:12 -0400 Adam Chlipala Cookie signing working for forms
Thu, 16 Apr 2009 15:38:01 -0400 Adam Chlipala Add more buttons to demo, to avoid effectful GET
Thu, 16 Apr 2009 15:29:39 -0400 Adam Chlipala Effectness analysis
Thu, 16 Apr 2009 14:49:25 -0400 Adam Chlipala Label exported symbols by effect-ness; factor out some common datatypes
Thu, 16 Apr 2009 14:35:01 -0400 Adam Chlipala POST support
Thu, 16 Apr 2009 13:47:20 -0400 Adam Chlipala Some client-side error handling
Thu, 16 Apr 2009 13:00:40 -0400 Adam Chlipala Avoid thread death via message receive