annotate demo/cookie.ur @ 1902:1809eb33ef14
Switch back to working version mode
author |
Adam Chlipala <adam@chlipala.net> |
date |
Thu, 21 Nov 2013 15:39:45 -0500 (2013-11-21) |
parents |
93315ac00394 |
children |
|
rev |
line source |
adamc@464
|
1 cookie c : {A : string, B : float, C : int}
|
adamc@464
|
2
|
adamc@464
|
3 fun set r =
|
adamc@1050
|
4 setCookie c {Value = {A = r.A, B = readError r.B, C = readError r.C},
|
adamc@1050
|
5 Expires = None,
|
adamc@1050
|
6 Secure = False};
|
adamc@464
|
7 return <xml>Cookie set.</xml>
|
adamc@464
|
8
|
adamc@1050
|
9 fun setExp r =
|
adamc@1050
|
10 setCookie c {Value = {A = r.A, B = readError r.B, C = readError r.C},
|
adamc@1050
|
11 Expires = Some (readError "2012-11-6 00:00:00"),
|
adamc@1050
|
12 Secure = False};
|
adamc@1050
|
13 return <xml>Cookie set robustly.</xml>
|
adamc@1050
|
14
|
adamc@1050
|
15 fun delete () =
|
adamc@1050
|
16 clearCookie c;
|
adamc@1050
|
17 return <xml>Cookie cleared.</xml>
|
adamc@1050
|
18
|
adamc@464
|
19 fun main () =
|
adamc@464
|
20 ro <- getCookie c;
|
adamc@465
|
21 return <xml><body>
|
adamc@465
|
22 {case ro of
|
adamc@465
|
23 None => <xml>No cookie set.</xml>
|
adamc@1050
|
24 | Some v => <xml>
|
adamc@1050
|
25 Cookie: A = {[v.A]}, B = {[v.B]}, C = {[v.C]}<br/>
|
adamc@1050
|
26 <form><submit value="Delete" action={delete}/></form>
|
adamc@1050
|
27 </xml>}
|
adamc@465
|
28 <br/><br/>
|
adamc@464
|
29
|
adamc@465
|
30 <form>
|
adamc@465
|
31 A: <textbox{#A}/><br/>
|
adamc@465
|
32 B: <textbox{#B}/><br/>
|
adamc@465
|
33 C: <textbox{#C}/><br/>
|
adamc@465
|
34 <submit action={set}/>
|
adamc@1050
|
35 </form><br/>
|
adamc@1050
|
36
|
adamc@1050
|
37 <form>
|
adamc@1050
|
38 <b>Version that expires on November 6, 2012:</b><br/>
|
adamc@1050
|
39 A: <textbox{#A}/><br/>
|
adamc@1050
|
40 B: <textbox{#B}/><br/>
|
adamc@1050
|
41 C: <textbox{#C}/><br/>
|
adamc@1050
|
42 <submit action={setExp}/>
|
adamc@465
|
43 </form>
|
adamc@465
|
44 </body></xml>
|