diff tests/cookie.ur @ 463:bb27c7efcd90

Reading cookies works
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 Nov 2008 12:08:41 -0500
parents 21bb5bbba2e9
children 1626dcba13ee
line wrap: on
line diff
--- a/tests/cookie.ur	Thu Nov 06 11:29:16 2008 -0500
+++ b/tests/cookie.ur	Thu Nov 06 12:08:41 2008 -0500
@@ -2,7 +2,7 @@
 
 fun main () : transaction page =
     setCookie c "Hi";
-    so <- requestHeader "Cookie";
+    so <- getCookie c;
     case so of
         None => return <xml>No cookie</xml>
       | Some s => return <xml>Cookie: {[s]}</xml>