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