From ddac92a3d792b7e7342e4003862cd5ff5c1f0ab8 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 3 May 2009 12:49:47 -0400 Subject: upload demo --- demo/upload.ur | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 demo/upload.ur (limited to 'demo/upload.ur') diff --git a/demo/upload.ur b/demo/upload.ur new file mode 100644 index 00000000..505a1ae4 --- /dev/null +++ b/demo/upload.ur @@ -0,0 +1,11 @@ +fun echo r = + if blobSize (fileData r.File) > 100000 then + return Whoa! That one's too big. + else + returnBlob (fileData r.File) (blessMime (fileMimeType r.File)) + +fun main () = return +

The Amazing File Echoer!

+ +
Upload a file: +
 -- cgit v1.2.3