# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1294350369 18000
# Node ID 2342d9baa0dfded533f1ccd12e6e4aba39c429df
# Parent  5e03668972ea34f677783bda074a157007a22e6e
New OpenidUser.Make parameter: ready

diff -r 5e03668972ea -r 2342d9baa0df src/ur/openidUser.ur
--- a/src/ur/openidUser.ur	Thu Jan 06 15:25:11 2011 -0500
+++ b/src/ur/openidUser.ur	Thu Jan 06 16:46:09 2011 -0500
@@ -8,6 +8,7 @@
                  type creationData
                  val creationState : transaction creationState
                  val render : creationState -> xtable
+                 val ready : creationState -> signal bool
                  val tabulate : creationState -> signal creationData
                  val choose : sql_table ([Id = string] ++ cols) [Pkey = [Id]] -> creationData -> transaction $cols
 
@@ -117,12 +118,17 @@
                       <table class={M.formClass}>
                         <tr> <th class={M.formClass}>Username:</th> <td><ctextbox source={uid}/></td> </tr>
                         {M.render cs}
-                        <tr> <td><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}/></td> </tr>
+                        <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>
+                                                      else
+                                                          <xml/>)}/></td> </tr>
                       </table>
                     </xml>
                 end
diff -r 5e03668972ea -r 2342d9baa0df src/ur/openidUser.urs
--- a/src/ur/openidUser.urs	Thu Jan 06 15:25:11 2011 -0500
+++ b/src/ur/openidUser.urs	Thu Jan 06 16:46:09 2011 -0500
@@ -28,6 +28,9 @@
                  val render : creationState -> xtable
                  (* Display widgets. *)
 
+                 val ready : creationState -> signal bool
+                 (* Is the data ready to send? *)
+
                  val tabulate : creationState -> signal creationData
                  (* Functionalize current state. *)