blob: afb1565f7ff9bfcd2f1ecb54f4cd85bb772cc7a3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
fun action () =
setHeader (blessResponseHeader "Location") "http://www.google.com/";
return <xml/>
fun main () =
ag <- getHeader (blessRequestHeader "User-Agent");
return <xml><body>
User agent: {[ag]}
<form> <submit action={action}/> </form>
</body></xml>
|
