summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@csail.mit.edu>2016-05-05 16:55:03 -0400
committerGravatar Adam Chlipala <adamc@csail.mit.edu>2016-05-05 16:55:03 -0400
commita0686c30f1315a6ca8c10acfca386df468f172a8 (patch)
tree8f6e2386a3dd64f2fff6537644503e47756e8bf1
parent00243e03c336302d8ca4e819e0a896436b2bdc95 (diff)
Add some tests for Content-Disposition
-rw-r--r--tests/contentDisposition.ur4
-rw-r--r--tests/contentDisposition.urp5
2 files changed, 9 insertions, 0 deletions
diff --git a/tests/contentDisposition.ur b/tests/contentDisposition.ur
new file mode 100644
index 00000000..8fe2b26c
--- /dev/null
+++ b/tests/contentDisposition.ur
@@ -0,0 +1,4 @@
+fun main () : transaction page =
+ setHeader (blessResponseHeader "Content-Disposition")
+ ("attachment; filename=test.txt");
+ returnBlob (textBlob "Hi there!") (blessMime "text/plain")
diff --git a/tests/contentDisposition.urp b/tests/contentDisposition.urp
new file mode 100644
index 00000000..92b02871
--- /dev/null
+++ b/tests/contentDisposition.urp
@@ -0,0 +1,5 @@
+rewrite all ContentDisposition/*
+allow responseHeader Content-Disposition
+allow mime text/plain
+
+contentDisposition \ No newline at end of file