comparison demo/roundTrip.ur @ 733:15ddd64a5113

Add more buttons to demo, to avoid effectful GET
author Adam Chlipala <adamc@hcoop.net>
date Thu, 16 Apr 2009 15:38:01 -0400
parents 1a317a707d71
children ed06e25c70ef
comparison
equal deleted inserted replaced
732:5819fb63c93a 733:15ddd64a5113
4 fun writeBack v = 4 fun writeBack v =
5 me <- self; 5 me <- self;
6 r <- oneRow (SELECT channels.Channel FROM channels WHERE channels.Client = {[me]}); 6 r <- oneRow (SELECT channels.Channel FROM channels WHERE channels.Client = {[me]});
7 send r.Channels.Channel v 7 send r.Channels.Channel v
8 8
9 fun main () = 9 fun action () =
10 me <- self; 10 me <- self;
11 ch <- channel; 11 ch <- channel;
12 dml (INSERT INTO channels (Client, Channel) VALUES ({[me]}, {[ch]})); 12 dml (INSERT INTO channels (Client, Channel) VALUES ({[me]}, {[ch]}));
13 13
14 buf <- Buffer.create; 14 buf <- Buffer.create;
26 in 26 in
27 return <xml><body onload={spawn (receiver ()); sender "" 0 0.0}> 27 return <xml><body onload={spawn (receiver ()); sender "" 0 0.0}>
28 <dyn signal={Buffer.render buf}/> 28 <dyn signal={Buffer.render buf}/>
29 </body></xml> 29 </body></xml>
30 end 30 end
31
32 fun main () = return <xml><body>
33 <form><submit value="Begin demo" action={action}/></form>
34 </body></xml>