summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-11-06 12:08:41 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-11-06 12:08:41 -0500
commit9f6397d0f801f6e020aa6123f14ddc44e11deee7 (patch)
treeab9e9c68fbb15a38d5a42e489dbc1ecdfd886525 /tests
parentbfad3d26b4471c93b92d41c894e25919fd7bf953 (diff)
Reading cookies works
Diffstat (limited to 'tests')
-rw-r--r--tests/cookie.ur2
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/cookie.ur b/tests/cookie.ur
index 36734260..cb4f8854 100644
--- a/tests/cookie.ur
+++ b/tests/cookie.ur
@@ -2,7 +2,7 @@ cookie c : string
fun main () : transaction page =
setCookie c "Hi";
- so <- requestHeader "Cookie";
+ so <- getCookie c;
case so of
None => return <xml>No cookie</xml>
| Some s => return <xml>Cookie: {[s]}</xml>