From d6ad8ebc3a44749cf04adf7f0e8dec1106f5f280 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 26 Nov 2009 14:58:03 -0500
Subject: Port rest of demo to new cookie signature; fix parsing of multiple
 incoming cookies

---
 demo/cookieSec.ur | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'demo')

diff --git a/demo/cookieSec.ur b/demo/cookieSec.ur
index 447d38ad..98615c78 100644
--- a/demo/cookieSec.ur
+++ b/demo/cookieSec.ur
@@ -25,7 +25,7 @@ fun main () =
     </body></xml>
 
 and set r =
-    setCookie username r.User;
+    setCookie username {Value = r.User, Expires = None, Secure = False};
     main ()
 
 and imHere () =
-- 
cgit v1.2.3