comparison 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
comparison
equal deleted inserted replaced
58:9f392276d614 59:3113591ba7f0
91 return M.afterLogout 91 return M.afterLogout
92 else 92 else
93 currentUrl 93 currentUrl
94 94
95 val wrongUser = 95 val wrongUser =
96 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> 96 return <xml><body>
97 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>.
98 </body></xml>
97 99
98 fun current' tweakSession = 100 fun current' tweakSession =
99 login <- getCookie auth; 101 login <- getCookie auth;
100 case login of 102 case login of
101 Some (LoggedIn login) => 103 Some (LoggedIn login) =>