comparison src/ur/openidUser.ur @ 45:c39c3f63854a

Don't redirect back to URLs that have query strings
author Adam Chlipala <adam@chlipala.net>
date Sun, 03 Jul 2011 16:40:55 -0400
parents f6b3fbf10dac
children 72e942423f26
comparison
equal deleted inserted replaced
44:f8c9e1e4d337 45:c39c3f63854a
82 val currentUrl = 82 val currentUrl =
83 b <- currentUrlHasPost; 83 b <- currentUrlHasPost;
84 if b then 84 if b then
85 return M.afterLogout 85 return M.afterLogout
86 else 86 else
87 currentUrl 87 b <- currentUrlHasQueryString;
88 if b then
89 return M.afterLogout
90 else
91 currentUrl
88 92
89 val current = 93 val current =
90 login <- getCookie auth; 94 login <- getCookie auth;
91 case login of 95 case login of
92 Some (LoggedIn login) => 96 Some (LoggedIn login) =>