comparison 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
comparison
equal deleted inserted replaced
1050:93315ac00394 1051:731e6aa6655a
23 <h2>Record your visit</h2> 23 <h2>Record your visit</h2>
24 <form><submit action={imHere}/></form> 24 <form><submit action={imHere}/></form>
25 </body></xml> 25 </body></xml>
26 26
27 and set r = 27 and set r =
28 setCookie username r.User; 28 setCookie username {Value = r.User, Expires = None, Secure = False};
29 main () 29 main ()
30 30
31 and imHere () = 31 and imHere () =
32 userO <- getCookie username; 32 userO <- getCookie username;
33 case userO of 33 case userO of