Mercurial > urweb
annotate tests/headDyn.ur @ 2297:6d56080f495c
Fix a read-after-free bug using a timestamp check
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Thu, 19 Nov 2015 13:18:58 -0500 |
| parents | 6817ddd6cf1f |
| children |
| rev | line source |
|---|---|
| adam@1728 | 1 fun main () : transaction page = |
| adam@1728 | 2 x <- source <xml/>; |
| adam@1728 | 3 return <xml> |
| adam@1728 | 4 <head> |
| adam@1728 | 5 <title>Test</title> |
| adam@1728 | 6 </head> |
| adam@1728 | 7 <body onload={set x <xml>boo</xml>}> |
| adam@1728 | 8 <dyn signal={signal x}/> |
| adam@1728 | 9 </body> |
| adam@1728 | 10 </xml> |
| adam@1729 | 11 |
| adam@1729 | 12 fun main2 () : transaction page = |
| adam@1729 | 13 return <xml> |
| adam@1729 | 14 <head> |
| adam@1729 | 15 <title>Test</title> |
| adam@1729 | 16 </head> |
| adam@1729 | 17 <body> |
| adam@1729 | 18 <button onclick={alert "Hi"}/> |
| adam@1729 | 19 </body> |
| adam@1729 | 20 </xml> |