blob: 7e01115769f74107e6956ea4e73981dcdd5108e8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
|
cookie c : {A : string, B : float, C : int}
fun set r =
setCookie c {Value = {A = r.A, B = readError r.B, C = readError r.C},
Expires = None,
Secure = False};
return <xml>Cookie set.</xml>
fun setExp r =
setCookie c {Value = {A = r.A, B = readError r.B, C = readError r.C},
Expires = Some (readError "2012-11-6 00:00:00"),
Secure = False};
return <xml>Cookie set robustly.</xml>
fun delete () =
clearCookie c;
return <xml>Cookie cleared.</xml>
fun main () =
ro <- getCookie c;
return <xml><body>
{case ro of
None => <xml>No cookie set.</xml>
| Some v => <xml>
Cookie: A = {[v.A]}, B = {[v.B]}, C = {[v.C]}<br/>
<form><submit value="Delete" action={delete}/></form>
</xml>}
<br/><br/>
<form>
A: <textbox{#A}/><br/>
B: <textbox{#B}/><br/>
C: <textbox{#C}/><br/>
<submit action={set}/>
</form><br/>
<form>
<b>Version that expires on November 6, 2012:</b><br/>
A: <textbox{#A}/><br/>
B: <textbox{#B}/><br/>
C: <textbox{#C}/><br/>
<submit action={setExp}/>
</form>
</body></xml>
|
