# HG changeset patch # User Adam Chlipala # Date 1312898750 14400 # Node ID 3113591ba7f0807fd5fad570b12bae49b3fa6ff1 # Parent 9f392276d61496a2db3319b2a7a0c863c7403c19 Change error message delivery so that IE's 500 message hiding doesn't apply diff -r 9f392276d614 -r 3113591ba7f0 src/ur/openidUser.ur --- 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 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 return to the home page. + return + Username mismatch! Did your OpenID provider log you in as a different user than you expected? Try logging out at your provider first, then return to the home page. + fun current' tweakSession = login <- getCookie auth;