Mercurial > urweb
diff tests/env.ur @ 1799:3d922a28370b
Basis.getenv
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Thu, 02 Aug 2012 16:33:25 -0400 |
parents | |
children |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/tests/env.ur Thu Aug 02 16:33:25 2012 -0400 @@ -0,0 +1,21 @@ +fun handler r = + vo <- getenv (blessEnvVar r.Nam); + return <xml><body> + {case vo of + None => <xml>Not set</xml> + | Some v => <xml>Set to: {[v]}</xml>} +</body></xml> + +fun main () : transaction page = + term <- getenv (blessEnvVar "TERM"); + return <xml><body> + TERM = {case term of + None => <xml>Nada</xml> + | Some v => txt v} + + <form> + What would you like to know? + <textbox{#Nam}/> + <submit action={handler}/> + </form> + </body></xml>