diff src/ur/openidUser.ur @ 30:5d6337df5ec7

A silly RPC bug that I'm surprised wasn't caught before now
author Adam Chlipala <adam@chlipala.net>
date Sun, 17 Apr 2011 13:15:10 -0400
parents fcd3a977d77b
children 1be573ac8e2b c0731afcb0c7
line wrap: on
line diff
--- a/src/ur/openidUser.ur	Thu Feb 24 17:29:45 2011 -0500
+++ b/src/ur/openidUser.ur	Sun Apr 17 13:15:10 2011 -0400
@@ -127,7 +127,7 @@
                                             dml (insert user ({Id = (SQL {[uid]})} ++ @Sql.sqexps M.folder M.inj cols));
                                             dml (INSERT INTO identity (User, Identifier)
                                                  VALUES ({[uid]}, {[ident]}));
-                                            redirect (bless after)
+                                            return None
                 in
                     uid <- source "";
                     cs <- M.creationState;