diff options
-rw-r--r-- | po/disfluid.pot | 36 | ||||
-rw-r--r-- | po/fr.po | 38 | ||||
-rw-r--r-- | src/scm/webid-oidc/client.scm | 2 |
3 files changed, 39 insertions, 37 deletions
diff --git a/po/disfluid.pot b/po/disfluid.pot index 30c11d6..d152564 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-10-12 22:35+0200\n" +"POT-Creation-Date: 2021-10-12 22: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" @@ -277,8 +277,8 @@ msgid "" msgstr "" #: src/scm/webid-oidc/authorization-page-unsafe.scm:52 -#: src/scm/webid-oidc/client.scm:309 src/scm/webid-oidc/client.scm:326 -#: src/scm/webid-oidc/client.scm:343 src/scm/webid-oidc/hello-world.scm:40 +#: src/scm/webid-oidc/client.scm:311 src/scm/webid-oidc/client.scm:328 +#: src/scm/webid-oidc/client.scm:345 src/scm/webid-oidc/hello-world.scm:40 #: src/scm/webid-oidc/hello-world.scm:167 #: src/scm/webid-oidc/hello-world.scm:187 #: src/scm/webid-oidc/identity-provider.scm:136 @@ -289,7 +289,7 @@ msgid "xml-lang|en" msgstr "" #: src/scm/webid-oidc/authorization-page-unsafe.scm:67 -#: src/scm/webid-oidc/client.scm:311 +#: src/scm/webid-oidc/client.scm:313 msgid "page-title|Authorization" msgstr "" @@ -467,61 +467,61 @@ msgstr "" msgid "cannot serve the public manifest" msgstr "" -#: src/scm/webid-oidc/client.scm:133 +#: src/scm/webid-oidc/client.scm:135 msgid "accept-language-header|en-us" msgstr "" -#: src/scm/webid-oidc/client.scm:179 +#: src/scm/webid-oidc/client.scm:181 msgid "Example application" msgstr "" -#: src/scm/webid-oidc/client.scm:206 +#: src/scm/webid-oidc/client.scm:208 msgid "#:client-name should be a string" msgstr "" -#: src/scm/webid-oidc/client.scm:213 +#: src/scm/webid-oidc/client.scm:215 msgid "#:client-uri should be an URI" msgstr "" -#: src/scm/webid-oidc/client.scm:222 +#: src/scm/webid-oidc/client.scm:224 msgid "#:response-types should be a list of symbols" msgstr "" -#: src/scm/webid-oidc/client.scm:231 +#: src/scm/webid-oidc/client.scm:233 msgid "#:grant-types should be a list of symbols" msgstr "" -#: src/scm/webid-oidc/client.scm:283 src/scm/webid-oidc/resource-server.scm:177 +#: src/scm/webid-oidc/client.scm:285 src/scm/webid-oidc/resource-server.scm:177 msgid "reason-phrase|Not Modified" msgstr "" -#: src/scm/webid-oidc/client.scm:313 +#: src/scm/webid-oidc/client.scm:315 msgid "" "You have been authorized. Please paste the following code in the application:" msgstr "" -#: src/scm/webid-oidc/client.scm:318 +#: src/scm/webid-oidc/client.scm:320 msgid "reason-phrase|Invalid Request" msgstr "" -#: src/scm/webid-oidc/client.scm:328 +#: src/scm/webid-oidc/client.scm:330 msgid "page-title|Error" msgstr "" -#: src/scm/webid-oidc/client.scm:330 +#: src/scm/webid-oidc/client.scm:332 msgid "Your identity provider did not authorize you. :(" msgstr "" -#: src/scm/webid-oidc/client.scm:335 +#: src/scm/webid-oidc/client.scm:337 #: src/scm/webid-oidc/identity-provider.scm:129 msgid "reason-phrase|Not Found" msgstr "" -#: src/scm/webid-oidc/client.scm:345 +#: src/scm/webid-oidc/client.scm:347 msgid "page-title|Not Found" msgstr "" -#: src/scm/webid-oidc/client.scm:347 +#: src/scm/webid-oidc/client.scm:349 msgid "This page does not exist on the server." msgstr "" @@ -2,8 +2,8 @@ msgid "" msgstr "" "Project-Id-Version: webid-oidc 0.0.0\n" "Report-Msgid-Bugs-To: vivien@planete-kraus.eu\n" -"POT-Creation-Date: 2021-10-12 22:35+0200\n" -"PO-Revision-Date: 2021-10-12 22:39+0200\n" +"POT-Creation-Date: 2021-10-12 22:41+0200\n" +"PO-Revision-Date: 2021-10-12 22:40+0200\n" "Last-Translator: Vivien Kraus <vivien@planete-kraus.eu>\n" "Language-Team: French <vivien@planete-kraus.eu>\n" "Language: fr\n" @@ -308,8 +308,8 @@ msgstr "" "requis (#:webid et #:client-id), soit (#:jwt-header et #:jwt-payload)" #: src/scm/webid-oidc/authorization-page-unsafe.scm:52 -#: src/scm/webid-oidc/client.scm:309 src/scm/webid-oidc/client.scm:326 -#: src/scm/webid-oidc/client.scm:343 src/scm/webid-oidc/hello-world.scm:40 +#: src/scm/webid-oidc/client.scm:311 src/scm/webid-oidc/client.scm:328 +#: src/scm/webid-oidc/client.scm:345 src/scm/webid-oidc/hello-world.scm:40 #: src/scm/webid-oidc/hello-world.scm:167 #: src/scm/webid-oidc/hello-world.scm:187 #: src/scm/webid-oidc/identity-provider.scm:136 @@ -320,7 +320,7 @@ msgid "xml-lang|en" msgstr "fr" #: src/scm/webid-oidc/authorization-page-unsafe.scm:67 -#: src/scm/webid-oidc/client.scm:311 +#: src/scm/webid-oidc/client.scm:313 msgid "page-title|Authorization" msgstr "Autorisation" @@ -509,63 +509,63 @@ msgstr "" msgid "cannot serve the public manifest" msgstr "impossible de servir le manifeste public" -#: src/scm/webid-oidc/client.scm:133 +#: src/scm/webid-oidc/client.scm:135 msgid "accept-language-header|en-us" msgstr "fr-fr" -#: src/scm/webid-oidc/client.scm:179 +#: src/scm/webid-oidc/client.scm:181 msgid "Example application" msgstr "Application exemple" -#: src/scm/webid-oidc/client.scm:206 +#: src/scm/webid-oidc/client.scm:208 msgid "#:client-name should be a string" msgstr "#:client-name doit être une chaîne de caractères" -#: src/scm/webid-oidc/client.scm:213 +#: src/scm/webid-oidc/client.scm:215 msgid "#:client-uri should be an URI" msgstr "#:client-uri doit être une URI" -#: src/scm/webid-oidc/client.scm:222 +#: src/scm/webid-oidc/client.scm:224 msgid "#:response-types should be a list of symbols" msgstr "#:response-types doit être une liste de symboles" -#: src/scm/webid-oidc/client.scm:231 +#: src/scm/webid-oidc/client.scm:233 msgid "#:grant-types should be a list of symbols" msgstr "#:grant-types doit être une liste de symboles" -#: src/scm/webid-oidc/client.scm:283 src/scm/webid-oidc/resource-server.scm:177 +#: src/scm/webid-oidc/client.scm:285 src/scm/webid-oidc/resource-server.scm:177 msgid "reason-phrase|Not Modified" msgstr "Non Modifié" -#: src/scm/webid-oidc/client.scm:313 +#: src/scm/webid-oidc/client.scm:315 msgid "" "You have been authorized. Please paste the following code in the application:" msgstr "" "Vous avez été autorisé. Veuillez coller le code suivant dans votre " "application :" -#: src/scm/webid-oidc/client.scm:318 +#: src/scm/webid-oidc/client.scm:320 msgid "reason-phrase|Invalid Request" msgstr "Requête Invalide" -#: src/scm/webid-oidc/client.scm:328 +#: src/scm/webid-oidc/client.scm:330 msgid "page-title|Error" msgstr "Erreur" -#: src/scm/webid-oidc/client.scm:330 +#: src/scm/webid-oidc/client.scm:332 msgid "Your identity provider did not authorize you. :(" msgstr "Votre fournisseur d’identité ne vous a pas autorisé. :(" -#: src/scm/webid-oidc/client.scm:335 +#: src/scm/webid-oidc/client.scm:337 #: src/scm/webid-oidc/identity-provider.scm:129 msgid "reason-phrase|Not Found" msgstr "Non Trouvé" -#: src/scm/webid-oidc/client.scm:345 +#: src/scm/webid-oidc/client.scm:347 msgid "page-title|Not Found" msgstr "Non Trouvé" -#: src/scm/webid-oidc/client.scm:347 +#: src/scm/webid-oidc/client.scm:349 msgid "This page does not exist on the server." msgstr "Cette page n’existe pas sur le serveur." diff --git a/src/scm/webid-oidc/client.scm b/src/scm/webid-oidc/client.scm index 246731e..7af9a59 100644 --- a/src/scm/webid-oidc/client.scm +++ b/src/scm/webid-oidc/client.scm @@ -83,6 +83,8 @@ (let check-value ((schemes value)) (match schemes (() #t) + (((? symbol?) tl ...) + (check-value tl)) (((hd . args) tl ...) (and (symbol? hd) (let check-args ((args args)) |