From fed2930b7cf791909b9f5e073720bdc4e170acad Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 25 Apr 2009 14:35:49 -0400 Subject: Only allow single-file upload per control --- tests/blob.ur | 13 +++---------- 1 file changed, 3 insertions(+), 10 deletions(-) (limited to 'tests/blob.ur') diff --git a/tests/blob.ur b/tests/blob.ur index a62eefc1..37c3f753 100644 --- a/tests/blob.ur +++ b/tests/blob.ur @@ -2,16 +2,9 @@ sequence s table t : { Id : int, Nam : option string, Data : blob, Desc : string } fun save r = - if numFiles r.Data <> 1 then - error Please submit exactly one file. - else - let - val f = fileNum r.Data 0 - in - id <- nextval s; - dml (INSERT INTO t (Id, Nam, Data, Desc) VALUES ({[id]}, {[fileName f]}, {[fileData f]}, {[r.Desc]})); - main () - end + id <- nextval s; + dml (INSERT INTO t (Id, Nam, Data, Desc) VALUES ({[id]}, {[fileName r.Data]}, {[fileData r.Data]}, {[r.Desc]})); + main () and main () = return