Mercurial > urweb
annotate tests/transact.ur @ 1437:493e087f5479
Exit periodic loop if a ROLLBACK fails, to avoid infinite looping when the database server is brought down
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Fri, 18 Mar 2011 09:12:55 -0400 |
parents | 1cc67fdac4d3 |
children |
rev | line source |
---|---|
adam@1327 | 1 fun listHell n = |
adam@1327 | 2 if n <= 0 then |
adam@1327 | 3 [] |
adam@1327 | 4 else |
adam@1327 | 5 n :: List.append (listHell (n-1)) (listHell (n-1)) |
adam@1327 | 6 |
adam@1327 | 7 fun doit r = |
adam@1327 | 8 Transactional.foo; |
adam@1327 | 9 return <xml>{[listHell (readError r.N)]}</xml> |
adam@1327 | 10 |
adam@1327 | 11 fun main () = return <xml><body> |
adam@1327 | 12 <form> <textbox{#N}/> <submit action={doit}/> </form> |
adam@1327 | 13 </body></xml> |