Mercurial > urweb
comparison demo/batch.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 | a44daa674810 |
comparison
equal
deleted
inserted
replaced
732:5819fb63c93a | 733:15ddd64a5113 |
---|---|
35 <tr> <th>Id</th> <th>A</th> </tr> | 35 <tr> <th>Id</th> <th>A</th> </tr> |
36 {show' ls} | 36 {show' ls} |
37 </table></xml>}/></xml> | 37 </table></xml>}/></xml> |
38 end | 38 end |
39 | 39 |
40 fun main () = | 40 fun action () = |
41 lss <- source Nil; | 41 lss <- source Nil; |
42 batched <- source Nil; | 42 batched <- source Nil; |
43 | 43 |
44 id <- source ""; | 44 id <- source ""; |
45 a <- source ""; | 45 a <- source ""; |
77 <h2>Already batched:</h2> | 77 <h2>Already batched:</h2> |
78 {show False batched} | 78 {show False batched} |
79 <button value="Execute" onclick={exec ()}/> | 79 <button value="Execute" onclick={exec ()}/> |
80 </body></xml> | 80 </body></xml> |
81 end | 81 end |
82 | |
83 fun main () = return <xml><body> | |
84 <form><submit value="Begin demo" action={action}/></form> | |
85 </body></xml> |