diff src/ur/openidUser.ur @ 62:77fa1fac2c7e

Update for key/mouse handler change
author Adam Chlipala <adam@chlipala.net>
date Sat, 21 Jul 2012 10:16:20 -0400
parents 3113591ba7f0
children 089ad1d33e2f
line wrap: on
line diff
--- a/src/ur/openidUser.ur	Wed Oct 26 09:07:48 2011 -0400
+++ b/src/ur/openidUser.ur	Sat Jul 21 10:16:20 2012 -0400
@@ -204,12 +204,12 @@
                         <tr> <td><dyn signal={b <- M.ready cs;
                                               return (if b then
                                                           <xml><button value="Create Account"
-                                                                       onclick={uid <- get uid;
-                                                                                data <- Basis.current (M.tabulate cs);
-                                                                                res <- rpc (finishSignup uid data);
-                                                                                case res of
-                                                                                    None => redirect (bless after)
-                                                                                  | Some msg => alert msg}/></xml>
+                                                                       onclick={fn _ => uid <- get uid;
+                                                                                   data <- Basis.current (M.tabulate cs);
+                                                                                   res <- rpc (finishSignup uid data);
+                                                                                   case res of
+                                                                                       None => redirect (bless after)
+                                                                                     | Some msg => alert msg}/></xml>
                                                       else
                                                           <xml/>)}/></td> </tr>
                       </table>