Add missing module

3 files changed, 31 insertions, 30 deletions

diff --git a/po/disfluid.pot b/po/disfluid.pot
index a810083..ba85ea0 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 19:38+0200\n"
+"POT-Creation-Date: 2021-09-13 19:41+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"
@@ -639,66 +639,66 @@ msgstr ""
 msgid "cannot encode a DPoP proof"
 msgstr ""
 
-#: src/scm/webid-oidc/example-app.scm:56
+#: src/scm/webid-oidc/example-app.scm:57
 msgid "Main menu:\n"
 msgstr ""
 
-#: src/scm/webid-oidc/example-app.scm:59
+#: src/scm/webid-oidc/example-app.scm:60
 #, scheme-format
 msgid "~a. Log in with ~a (issued by ~a): ~a\n"
 msgstr ""
 
-#: src/scm/webid-oidc/example-app.scm:64
+#: src/scm/webid-oidc/example-app.scm:65
 msgid "a new user"
 msgstr ""
 
-#: src/scm/webid-oidc/example-app.scm:68
+#: src/scm/webid-oidc/example-app.scm:69
 msgid "status|currently logged in"
 msgstr ""
 
-#: src/scm/webid-oidc/example-app.scm:70
+#: src/scm/webid-oidc/example-app.scm:71
 msgid "status|offline (but accessible)"
 msgstr ""
 
-#: src/scm/webid-oidc/example-app.scm:71
+#: src/scm/webid-oidc/example-app.scm:72
 msgid "status|offline (inaccessible)"
 msgstr ""
 
-#: src/scm/webid-oidc/example-app.scm:72
+#: src/scm/webid-oidc/example-app.scm:73
 msgid "status|not initialized yet"
 msgstr ""
 
-#: src/scm/webid-oidc/example-app.scm:74
+#: src/scm/webid-oidc/example-app.scm:75
 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:91
+#: src/scm/webid-oidc/example-app.scm:92
 #, scheme-format
 msgid "Please visit: ~a\n"
 msgstr ""
 
-#: src/scm/webid-oidc/example-app.scm:92
+#: src/scm/webid-oidc/example-app.scm:93
 msgid "Then, paste the authorization code you get:\n"
 msgstr ""
 
-#: src/scm/webid-oidc/example-app.scm:98
+#: src/scm/webid-oidc/example-app.scm:99
 #, scheme-format
 msgid "I could not negociate an access token.  ~a"
 msgstr ""
 
-#: src/scm/webid-oidc/example-app.scm:102
+#: src/scm/webid-oidc/example-app.scm:103
 msgid ""
 "The refresh token has expired, it is not possible to use that account "
 "offline.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/example-app.scm:107
+#: src/scm/webid-oidc/example-app.scm:108
 msgid "Please enter an URI to GET:\n"
 msgstr ""
 
-#: src/scm/webid-oidc/example-app.scm:132
+#: src/scm/webid-oidc/example-app.scm:133
 msgid "Please type your identity provider:\n"
 msgstr ""
 
diff --git a/po/fr.po b/po/fr.po
index 139b8aa..fb8f2d1 100644
--- a/po/fr.po
+++ b/po/fr.po
@@ -2,7 +2,7 @@ msgid ""
 msgstr ""
 "Project-Id-Version: webid-oidc 0.0.0\n"
 "Report-Msgid-Bugs-To: vivien@planete-kraus.eu\n"
-"POT-Creation-Date: 2021-09-13 19:38+0200\n"
+"POT-Creation-Date: 2021-09-13 19:41+0200\n"
 "PO-Revision-Date: 2021-09-13 19:25+0200\n"
 "Last-Translator: Vivien Kraus <vivien@planete-kraus.eu>\n"
 "Language-Team: French <vivien@planete-kraus.eu>\n"
@@ -670,36 +670,36 @@ msgstr "impossible d’encoder la preuve DPoP : ~a"
 msgid "cannot encode a DPoP proof"
 msgstr "impossible d’encoder la preuve DPoP"
 
-#: src/scm/webid-oidc/example-app.scm:56
+#: src/scm/webid-oidc/example-app.scm:57
 msgid "Main menu:\n"
 msgstr "Menu principal :\n"
 
-#: src/scm/webid-oidc/example-app.scm:59
+#: src/scm/webid-oidc/example-app.scm:60
 #, scheme-format
 msgid "~a. Log in with ~a (issued by ~a): ~a\n"
 msgstr "~a. Se connecter avec ~a (émis par ~a) : ~a\n"
 
-#: src/scm/webid-oidc/example-app.scm:64
+#: src/scm/webid-oidc/example-app.scm:65
 msgid "a new user"
 msgstr "un nouvel utilisateur"
 
-#: src/scm/webid-oidc/example-app.scm:68
+#: src/scm/webid-oidc/example-app.scm:69
 msgid "status|currently logged in"
 msgstr "actuellement connecté"
 
-#: src/scm/webid-oidc/example-app.scm:70
+#: src/scm/webid-oidc/example-app.scm:71
 msgid "status|offline (but accessible)"
 msgstr "hors ligne (mais accessible)"
 
-#: src/scm/webid-oidc/example-app.scm:71
+#: src/scm/webid-oidc/example-app.scm:72
 msgid "status|offline (inaccessible)"
 msgstr "hors ligne (inaccessible)"
 
-#: src/scm/webid-oidc/example-app.scm:72
+#: src/scm/webid-oidc/example-app.scm:73
 msgid "status|not initialized yet"
 msgstr "pas encore initialisé"
 
-#: src/scm/webid-oidc/example-app.scm:74
+#: src/scm/webid-oidc/example-app.scm:75
 msgid ""
 "Type a number to log in, prefix it with '-' to delete the account, or type + "
 "to create a new account.\n"
@@ -707,21 +707,21 @@ msgstr ""
 "Entrez un nombre pour vous connecter, préfixez-le avec « - » pour supprimer "
 "le compte, ou tapez + pour créer un nouveau compte.\n"
 
-#: src/scm/webid-oidc/example-app.scm:91
+#: src/scm/webid-oidc/example-app.scm:92
 #, scheme-format
 msgid "Please visit: ~a\n"
 msgstr "Veuillez visiter : ~a\n"
 
-#: src/scm/webid-oidc/example-app.scm:92
+#: src/scm/webid-oidc/example-app.scm:93
 msgid "Then, paste the authorization code you get:\n"
 msgstr "Ensuite, veuillez coller votre code d’autorisation :\n"
 
-#: src/scm/webid-oidc/example-app.scm:98
+#: src/scm/webid-oidc/example-app.scm:99
 #, scheme-format
 msgid "I could not negociate an access token.  ~a"
 msgstr "Je n’ai pas pu négocier de jeton d’accès.  ~a"
 
-#: src/scm/webid-oidc/example-app.scm:102
+#: src/scm/webid-oidc/example-app.scm:103
 msgid ""
 "The refresh token has expired, it is not possible to use that account "
 "offline.\n"
@@ -729,11 +729,11 @@ msgstr ""
 "Le jeton de rafraîchissement a expiré, il n’est pas possible d’utiliser ce "
 "compte hors ligne.\n"
 
-#: src/scm/webid-oidc/example-app.scm:107
+#: src/scm/webid-oidc/example-app.scm:108
 msgid "Please enter an URI to GET:\n"
 msgstr "Veuillez entrer un URI à requêter avec GET :\n"
 
-#: src/scm/webid-oidc/example-app.scm:132
+#: src/scm/webid-oidc/example-app.scm:133
 msgid "Please type your identity provider:\n"
 msgstr "Veuillez entrer votre serveur d’identité :\n"
 
diff --git a/src/scm/webid-oidc/example-app.scm b/src/scm/webid-oidc/example-app.scm
index 24c4d8a..c0162de 100644
--- a/src/scm/webid-oidc/example-app.scm
+++ b/src/scm/webid-oidc/example-app.scm
@@ -38,6 +38,7 @@
   #:use-module (ice-9 textual-ports)
   #:use-module (ice-9 rdelim)
   #:use-module (ice-9 match)
+  #:use-module (ice-9 exceptions)
   #:use-module (sxml simple)
   #:use-module (rnrs bytevectors)
   #:declarative? #t)