# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1309725655 14400
# Node ID c39c3f63854a839cc3902116fa75894a2597446c
# Parent  f8c9e1e4d3375fd8f894e124e0947b6822dd24b3
Don't redirect back to URLs that have query strings

diff -r f8c9e1e4d337 -r c39c3f63854a src/ur/openidUser.ur
--- a/src/ur/openidUser.ur	Sun Jul 03 14:09:03 2011 -0400
+++ b/src/ur/openidUser.ur	Sun Jul 03 16:40:55 2011 -0400
@@ -84,7 +84,11 @@
         if b then
             return M.afterLogout
         else
-            currentUrl
+            b <- currentUrlHasQueryString;
+            if b then
+                return M.afterLogout
+            else
+                currentUrl
 
     val current =
         login <- getCookie auth;