# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1293402967 18000
# Node ID 443f27cd1572971c1ebd349d4f210cd7312a4b10
# Parent  2d409aff8800ba012e9add679ee6c7a8f7b9f5ab
Detecting cancellation

diff -r 2d409aff8800 -r 443f27cd1572 src/ur/openid.ur
--- a/src/ur/openid.ur	Sun Dec 26 17:19:52 2010 -0500
+++ b/src/ur/openid.ur	Sun Dec 26 17:36:07 2010 -0500
@@ -52,9 +52,16 @@
         case OpenidFfi.getOutput os "openid.error" of
             Some v => error <xml>Authentication failed: {[v]}</xml>
           | None =>
-            case OpenidFfi.getOutput os "openid.identity" of
-                None => error <xml>Missing identity in OP response</xml>
-              | Some v => return <xml>Identity: {[v]}</xml>
+            case OpenidFfi.getOutput os "openid.mode" of
+                None => error <xml>No <tt>openid.mode</tt> in response</xml>
+              | Some mode =>
+                case mode of
+                    "cancel" => error <xml>You canceled the authentication!</xml>
+                  | "id_res" =>
+                    (case OpenidFfi.getOutput os "openid.identity" of
+                         None => error <xml>Missing identity in OP response</xml>
+                       | Some v => return <xml>Identity: {[v]}</xml>)
+                  | _ => error <xml>Unexpected <tt>openid.mode</tt>: <tt>{[mode]}</tt></xml>
 
 fun authenticate id =
     dy <- discover id;