adam@1465: fun action () = adam@1465: setHeader (blessResponseHeader "Location") "http://www.google.com/"; adam@1465: return adam@1465: adam@1465: fun main () = adam@1465: ag <- getHeader (blessRequestHeader "User-Agent"); adam@1465: return adam@1465: User agent: {[ag]} adam@1465: adam@1465:
adam@1465: