Mercurial > urweb
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> |