diff 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
line wrap: on
line diff
--- a/tests/reqheader.ur	Thu Nov 06 09:21:34 2008 -0500
+++ b/tests/reqheader.ur	Thu Nov 06 09:47:16 2008 -0500
@@ -1,5 +1,5 @@
 fun main () : transaction page =
-    ua <- requestHeader "UserAgent";
+    ua <- requestHeader "User-Agent";
     case ua of
         None => return <xml>Not found</xml>
-      | Some s => return <xml>UserAgent: {[s]}</xml>
+      | Some s => return <xml>User-Agent: {[s]}</xml>