diff src/ur/openidUser.urs @ 23:e5df3d3554d3

fakeId parameter
author Adam Chlipala <adam@chlipala.net>
date Sun, 16 Jan 2011 13:21:34 -0500
parents 2342d9baa0df
children c560ec5bf514
line wrap: on
line diff
--- a/src/ur/openidUser.urs	Sat Jan 15 15:24:42 2011 -0500
+++ b/src/ur/openidUser.urs	Sun Jan 16 13:21:34 2011 -0500
@@ -59,6 +59,11 @@
                  val formClass : css_class
                  (* CSS class for <table>, <th>, and <td> elements used in
                   * sign-up form *)
+
+                 val fakeId : option string
+                 (* If set, this string is always accepted as a verified
+                  * identifier, which can be useful during development (say,
+                  * when you're off-network). *)
              end) : sig
 
     type user