diff demo/cookieSec.ur @ 1051:731e6aa6655a

Port rest of demo to new cookie signature; fix parsing of multiple incoming cookies
author Adam Chlipala <adamc@hcoop.net>
date Thu, 26 Nov 2009 14:58:03 -0500
parents 7394368a5cad
children
line wrap: on
line diff
--- a/demo/cookieSec.ur	Thu Nov 26 14:20:00 2009 -0500
+++ b/demo/cookieSec.ur	Thu Nov 26 14:58:03 2009 -0500
@@ -25,7 +25,7 @@
     </body></xml>
 
 and set r =
-    setCookie username r.User;
+    setCookie username {Value = r.User, Expires = None, Secure = False};
     main ()
 
 and imHere () =