annotate tests/headers.ur @ 1609:c6cc104a47ac

Client-side timef
author Adam Chlipala <adam@chlipala.net>
date Thu, 24 Nov 2011 11:27:51 -0500
parents 2f5fd248588d
children
rev   line source
adam@1465 1 fun action () =
adam@1465 2 setHeader (blessResponseHeader "Location") "http://www.google.com/";
adam@1465 3 return <xml/>
adam@1465 4
adam@1465 5 fun main () =
adam@1465 6 ag <- getHeader (blessRequestHeader "User-Agent");
adam@1465 7 return <xml><body>
adam@1465 8 User agent: {[ag]}
adam@1465 9
adam@1465 10 <form> <submit action={action}/> </form>
adam@1465 11 </body></xml>