diff src/ur/openidUser.ur @ 59:3113591ba7f0

Change error message delivery so that IE's 500 message hiding doesn't apply
author Adam Chlipala <adam@chlipala.net>
date Tue, 09 Aug 2011 10:05:50 -0400
parents 9f392276d614
children 77fa1fac2c7e
line wrap: on
line diff
--- a/src/ur/openidUser.ur	Tue Aug 09 09:53:40 2011 -0400
+++ b/src/ur/openidUser.ur	Tue Aug 09 10:05:50 2011 -0400
@@ -93,7 +93,9 @@
                 currentUrl
 
     val wrongUser =
-        error <xml>Session not authorized to act as user.  Did your OpenID provider log you in as a different user than you expected?  Try logging out at your provider first, then <a href={M.afterLogout}>return to the home page</a>.</xml>
+        return <xml><body>
+          Username mismatch!  Did your OpenID provider log you in as a different user than you expected?  Try logging out at your provider first, then <a href={M.afterLogout}>return to the home page</a>.
+        </body></xml>
 
     fun current' tweakSession =
         login <- getCookie auth;