blob: 3d1e812b05733878144bde3b8b75179404fd3d74 (
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
|
cookie user : {EMail : string}
fun main () =
ro <- getCookie user;
case ro of
Some u => welcome u
| _ => login ()
and welcome u = return <xml><body>
Welcome {[u.EMail]}. <a link={logout ()}>Logout</a>
</body></xml>
and logout () =
clearCookie user;
main ()
and login () = return <xml><body>
<form>E-mail:<textbox{#EMail}/><submit action={signin}/></form>
</body></xml>
and signin r =
setCookie user {Value = {EMail = r.EMail},
Expires = None, (* Some (readError "2012-11-6
00:00:00"), *)
Secure = False
};
main ()
|
