# HG changeset patch # User Adam Chlipala # Date 1303060510 14400 # Node ID 5d6337df5ec7cd381a2665bd2218f43a70d87e20 # Parent 35d06874bec4133b6989abeaaf7f9e7d4a025f34 A silly RPC bug that I'm surprised wasn't caught before now diff -r 35d06874bec4 -r 5d6337df5ec7 src/ur/openidUser.ur --- 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;