Don’t save an account if it does not have a subject

I added a function to log in for the first time, so that we don’t have
to store an account for which we know we will need to jump through the
authorization endpoint hoops.

1 files changed, 23 insertions, 27 deletions

diff --git a/po/disfluid.pot b/po/disfluid.pot
index 93e92b1..d18ddd6 100644
--- a/po/disfluid.pot
+++ b/po/disfluid.pot
@@ -8,7 +8,7 @@ msgid ""
 msgstr ""
 "Project-Id-Version: disfluid SNAPSHOT\n"
 "Report-Msgid-Bugs-To: vivien@planete-kraus.eu\n"
-"POT-Creation-Date: 2021-09-13 20:09+0200\n"
+"POT-Creation-Date: 2021-09-13 20:17+0200\n"
 "PO-Revision-Date: YEAR-MO-DA HO:MI+ZONE\n"
 "Last-Translator: FULL NAME <EMAIL@ADDRESS>\n"
 "Language-Team: LANGUAGE <LL@li.org>\n"
@@ -407,57 +407,57 @@ msgstr ""
 msgid "Unsupported delegate catalog URI scheme: ~s\n"
 msgstr ""
 
-#: src/scm/webid-oidc/client/accounts.scm:420
+#: src/scm/webid-oidc/client/accounts.scm:406
 msgid "The refresh token has expired."
 msgstr ""
 
-#: src/scm/webid-oidc/client/accounts.scm:427
+#: src/scm/webid-oidc/client/accounts.scm:413
 #, scheme-format
 msgid "The token request failed with code ~s (~s)."
 msgstr ""
 
-#: src/scm/webid-oidc/client/accounts.scm:436
+#: src/scm/webid-oidc/client/accounts.scm:422
 msgid "The token response did not set the content type."
 msgstr ""
 
-#: src/scm/webid-oidc/client/accounts.scm:444
+#: src/scm/webid-oidc/client/accounts.scm:430
 msgid "The token endpoint did not respond in UTF-8."
 msgstr ""
 
-#: src/scm/webid-oidc/client/accounts.scm:456
+#: src/scm/webid-oidc/client/accounts.scm:442
 #, scheme-format
 msgid "The token response has content-type ~s, not application/json."
 msgstr ""
 
-#: src/scm/webid-oidc/client/accounts.scm:466
+#: src/scm/webid-oidc/client/accounts.scm:452
 msgid "The token response is not valid JSON."
 msgstr ""
 
-#: src/scm/webid-oidc/client/accounts.scm:479
+#: src/scm/webid-oidc/client/accounts.scm:465
 #, scheme-format
 msgid "The token response did not include an ID token: ~s"
 msgstr ""
 
-#: src/scm/webid-oidc/client/accounts.scm:487
+#: src/scm/webid-oidc/client/accounts.scm:473
 #, scheme-format
 msgid "The token response did not include an access token: ~s\n"
 msgstr ""
 
-#: src/scm/webid-oidc/client/accounts.scm:498
+#: src/scm/webid-oidc/client/accounts.scm:484
 #, scheme-format
 msgid "the ID token signature is invalid: ~a"
 msgstr ""
 
-#: src/scm/webid-oidc/client/accounts.scm:500
+#: src/scm/webid-oidc/client/accounts.scm:486
 msgid "the ID token signature is invalid"
 msgstr ""
 
-#: src/scm/webid-oidc/client/accounts.scm:515
+#: src/scm/webid-oidc/client/accounts.scm:501
 #, scheme-format
 msgid "the ID token delivered by the identity provider for ~s has ~s as webid"
 msgstr ""
 
-#: src/scm/webid-oidc/client/accounts.scm:524
+#: src/scm/webid-oidc/client/accounts.scm:510
 #, scheme-format
 msgid "The ID token delivered by the identity provider ~s is for issuer ~s."
 msgstr ""
@@ -644,16 +644,16 @@ msgstr ""
 msgid "cannot encode a DPoP proof"
 msgstr ""
 
-#: src/scm/webid-oidc/example-app.scm:57
+#: src/scm/webid-oidc/example-app.scm:58
 msgid "Main menu:\n"
 msgstr ""
 
-#: src/scm/webid-oidc/example-app.scm:60
+#: src/scm/webid-oidc/example-app.scm:61
 #, scheme-format
 msgid "~a. Log in with ~a (issued by ~a): ~a\n"
 msgstr ""
 
-#: src/scm/webid-oidc/example-app.scm:65
+#: src/scm/webid-oidc/example-app.scm:66
 msgid "a new user"
 msgstr ""
 
@@ -669,41 +669,37 @@ msgstr ""
 msgid "status|offline (inaccessible)"
 msgstr ""
 
-#: src/scm/webid-oidc/example-app.scm:73
-msgid "status|not initialized yet"
-msgstr ""
-
-#: src/scm/webid-oidc/example-app.scm:75
+#: src/scm/webid-oidc/example-app.scm:74
 msgid ""
 "Type a number to log in, prefix it with '-' to delete the account, or type + "
 "to create a new account.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/example-app.scm:92
+#: src/scm/webid-oidc/example-app.scm:83
 #, scheme-format
 msgid "Please visit: ~a\n"
 msgstr ""
 
-#: src/scm/webid-oidc/example-app.scm:93
+#: src/scm/webid-oidc/example-app.scm:84
 msgid "Then, paste the authorization code you get:\n"
 msgstr ""
 
-#: src/scm/webid-oidc/example-app.scm:99
+#: src/scm/webid-oidc/example-app.scm:98
 #, scheme-format
 msgid "I could not negociate an access token.  ~a"
 msgstr ""
 
-#: src/scm/webid-oidc/example-app.scm:103
+#: src/scm/webid-oidc/example-app.scm:102
 msgid ""
 "The refresh token has expired, it is not possible to use that account "
 "offline.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/example-app.scm:108
+#: src/scm/webid-oidc/example-app.scm:107
 msgid "Please enter an URI to GET:\n"
 msgstr ""
 
-#: src/scm/webid-oidc/example-app.scm:133
+#: src/scm/webid-oidc/example-app.scm:132
 msgid "Please type your identity provider:\n"
 msgstr ""