comparison tests/goback.ur @ 1552:c3b5cf5c2f98

Gentle handling of back-button returns to pages with stale message-passing credentials
author Adam Chlipala <adam@chlipala.net>
date Sun, 28 Aug 2011 17:16:54 -0400
parents
children
comparison
equal deleted inserted replaced
1551:5175bed443f9 1552:c3b5cf5c2f98
1 table channels : { Channel : channel {} }
2
3 fun get () =
4 ch <- channel;
5 dml (INSERT INTO channels (Channel) VALUES ({[ch]}));
6 return <xml><body onload={recv ch}>
7 Hi.
8 </body></xml>
9
10 fun post () =
11 ch <- channel;
12 dml (INSERT INTO channels (Channel) VALUES ({[ch]}));
13 return <xml><body onload={recv ch}>
14 Hi!
15 </body></xml>
16
17 fun main () = return <xml><body>
18 <li><a link={get ()}>Get</a></li>
19 <li><form><submit action={post}/></form></li>
20 </body></xml>