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
commitbfad3d26b4471c93b92d41c894e25919fd7bf953 (patch)
tree05a8c82978b8d58211cd4b05357cccecd0dd9fb7 /tests/cookie.ur
parent59e90f80efd94c738df349da7d473da9a8a7e81a (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>
-