Mercurial > urweb
comparison tests/reqheader.ur @ 457:360cbc202756
Request header reading works
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 06 Nov 2008 09:47:16 -0500 |
parents | 1a4fa157fedd |
children |
comparison
equal
deleted
inserted
replaced
456:1a4fa157fedd | 457:360cbc202756 |
---|---|
1 fun main () : transaction page = | 1 fun main () : transaction page = |
2 ua <- requestHeader "UserAgent"; | 2 ua <- requestHeader "User-Agent"; |
3 case ua of | 3 case ua of |
4 None => return <xml>Not found</xml> | 4 None => return <xml>Not found</xml> |
5 | Some s => return <xml>UserAgent: {[s]}</xml> | 5 | Some s => return <xml>User-Agent: {[s]}</xml> |