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
commitbffeb0e5a10ae58b8f7c3f5249b3665373236e21 (patch)
treeab9e9c68fbb15a38d5a42e489dbc1ecdfd886525 /tests
parent09d844ebdc60010b6b19d1833c213bcbba035515 (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>