diff demo/cookieSec.ur @ 1055:118a5a08a881

Merge
author Adam Chlipala <adamc@hcoop.net>
date Thu, 03 Dec 2009 11:56:15 -0500
parents 731e6aa6655a
children
line wrap: on
line diff
--- a/demo/cookieSec.ur	Thu Dec 03 11:50:51 2009 -0500
+++ b/demo/cookieSec.ur	Thu Dec 03 11:56:15 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 () =