diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2018-06-03 15:01:24 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2018-06-03 15:01:24 -0400 |
| commit | f3373fd5809689bece7fd390f2d737aa0b43f594 (patch) | |
| tree | 739be9eaa093fbf25bc69317811b869775c1ba80 /tests | |
| parent | 1c493e9ec47f4754dd7237078e8c4f3300925ce3 (diff) | |
'filecache' .urp directive, fixing a longstanding MonoUtil bug in the process
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/dbupload.urp | 1 | ||||
| -rw-r--r-- | tests/dbuploadOpt.ur | 27 | ||||
| -rw-r--r-- | tests/dbuploadOpt.urp | 7 |
3 files changed, 35 insertions, 0 deletions
diff --git a/tests/dbupload.urp b/tests/dbupload.urp index dd8417d1..daa68e2c 100644 --- a/tests/dbupload.urp +++ b/tests/dbupload.urp @@ -2,5 +2,6 @@ database dbname=dbupload sql dbupload.sql allow mime * rewrite all Dbupload/* +filecache /tmp/files dbupload diff --git a/tests/dbuploadOpt.ur b/tests/dbuploadOpt.ur new file mode 100644 index 00000000..466b49f3 --- /dev/null +++ b/tests/dbuploadOpt.ur @@ -0,0 +1,27 @@ +table t : { Id : int, Blob : option blob, MimeType : string } +sequence s + +fun getImage id : transaction page = + r <- oneRow1 (SELECT t.Blob, t.MimeType + FROM t + WHERE t.Id = {[id]}); + case r.Blob of + None => error <xml>Oh no!</xml> + | Some blob => returnBlob blob (blessMime r.MimeType) + +fun main () : transaction page = + let + fun handle r = + id <- nextval s; + dml (INSERT INTO t (Id, Blob, MimeType) + VALUES ({[id]}, {[if fileMimeType r.File = "image/jpeg" then Some (fileData r.File) else None]}, {[fileMimeType r.File]})); + main () + in + x <- queryX1 (SELECT t.Id FROM t) + (fn r => <xml><img src={url (getImage r.Id)}/><br/></xml>); + return <xml><body> + <form><upload{#File}/> <submit action={handle}/></form> + <hr/> + {x} + </body></xml> + end diff --git a/tests/dbuploadOpt.urp b/tests/dbuploadOpt.urp new file mode 100644 index 00000000..816bcea1 --- /dev/null +++ b/tests/dbuploadOpt.urp @@ -0,0 +1,7 @@ +database dbname=dbuploadOpt +sql dbuploadOpt.sql +allow mime * +rewrite all DbuploadOpt/* +filecache /tmp/files + +dbuploadOpt |