diff src/ur/openidUser.ur @ 32:90b8ce9be9f5

Change some field names and update utest
author Adam Chlipala <adam@chlipala.net>
date Thu, 21 Apr 2011 13:24:55 -0400
parents 1be573ac8e2b
children df258dbf4739
line wrap: on
line diff
--- a/src/ur/openidUser.ur	Mon Apr 18 01:20:39 2011 -0430
+++ b/src/ur/openidUser.ur	Thu Apr 21 13:24:55 2011 -0400
@@ -29,8 +29,8 @@
                  val formClass : css_class
                  val fakeId : option string
 
-                 val ctlDisplay : {User : {Status : xbody, Other : xbody},
-                                   Guest : {Status : xbody, Other : xbody}}
+                 val ctlDisplay : {User : {Status : xbody, Logout : xbody},
+                                   Guest : {Status : xbody, Signup : xbody}}
              end) = struct
 
     type user = string
@@ -300,9 +300,9 @@
             here <- currentUrl;
             case cur of
                 Some cur => return {Status = <xml>{M.ctlDisplay.User.Status}{[cur]}</xml>,
-                                    Other = <xml><a link={logout ()}>{M.ctlDisplay.User.Other}</a></xml>}
+                                    Other = <xml><a link={logout ()}>{M.ctlDisplay.User.Logout}</a></xml>}
               | None => return {Status = <xml>{M.ctlDisplay.Guest.Status}<form><textbox{#User}/> <submit value="Log In" action={logon (show here)}/></form></xml>,
-                                Other = <xml><a link={signup (show here)}>{M.ctlDisplay.Guest.Other}</a></xml>}
+                                Other = <xml><a link={signup (show here)}>{M.ctlDisplay.Guest.Signup}</a></xml>}
         end
 
     task periodic 60 = fn () => dml (DELETE FROM session