Mercurial > openid
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) => |