fixup! Implement the POST method for the server

3 files changed, 54 insertions, 42 deletions

diff --git a/po/fr.po b/po/fr.po
index 6d018cf..595857a 100644
--- a/po/fr.po
+++ b/po/fr.po
@@ -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-06-27 00:19+0200\n"
-"PO-Revision-Date: 2021-06-24 20:27+0200\n"
+"POT-Creation-Date: 2021-06-27 00:20+0200\n"
+"PO-Revision-Date: 2021-06-27 00:21+0200\n"
 "Last-Translator: Vivien Kraus <vivien@planete-kraus.eu>\n"
 "Language-Team: French <vivien@planete-kraus.eu>\n"
 "Language: fr\n"
@@ -727,13 +727,17 @@ msgstr ""
 #: src/scm/webid-oidc/errors.scm:1396
 #, scheme-format
 msgid ""
-"the operation on ~s by ~s is refused, because it’s not by ~s and the access "
+"the operation on ~s by ~a is refused, because it’s not by ~s and the access "
 "control forbids the following mode of operation: ~s"
 msgstr ""
-"l’opération sur ~s par ~s est refusée, parce que ce n’est pas ~s et le "
+"l’opération sur ~s par ~a est refusée, parce que ce n’est pas ~s et le "
 "contrôle d’accès refuse le mode d’opération suivant : ~s"
 
-#: src/scm/webid-oidc/errors.scm:1401
+#: src/scm/webid-oidc/errors.scm:1400
+msgid "an anonymous user"
+msgstr "un utilisateur anonyme"
+
+#: src/scm/webid-oidc/errors.scm:1405
 #, scheme-format
 msgid ""
 "the client precondition failed for ~s: it allows for ~s, forbids ~s, but the "
@@ -742,7 +746,7 @@ msgstr ""
 "la précondition du client a échoué pour ~s : elle autorise ~s, interdit ~s, "
 "mais la ressource a une représentation ~s"
 
-#: src/scm/webid-oidc/errors.scm:1403
+#: src/scm/webid-oidc/errors.scm:1407
 #, scheme-format
 msgid ""
 "the client precondition failed for ~s: it allows for ~s, forbids ~s, but the "
@@ -751,70 +755,70 @@ msgstr ""
 "la précondition du client a échoué pour ~s : elle autorise ~s, interdit ~s, "
 "mais la ressource n’a pas de représentation"
 
-#: src/scm/webid-oidc/errors.scm:1408
+#: src/scm/webid-oidc/errors.scm:1412
 msgid "that’s it"
 msgstr "c’est tout"
 
-#: src/scm/webid-oidc/errors.scm:1412
+#: src/scm/webid-oidc/errors.scm:1416
 #, scheme-format
 msgid "~a and ~a"
 msgstr "~a et ~a"
 
-#: src/scm/webid-oidc/errors.scm:1415
+#: src/scm/webid-oidc/errors.scm:1419
 #, scheme-format
 msgid "~a, ~a"
 msgstr "~a, ~a"
 
-#: src/scm/webid-oidc/errors.scm:1419
+#: src/scm/webid-oidc/errors.scm:1423
 #, scheme-format
 msgid "the signature ~a does not match key ~s with payload ~a"
 msgstr "la signature ~a ne correspond pas à la clé ~s avec le contenu ~a"
 
-#: src/scm/webid-oidc/errors.scm:1422
+#: src/scm/webid-oidc/errors.scm:1426
 msgid "there is an undefined variable"
 msgstr "il y a une variable non définie"
 
-#: src/scm/webid-oidc/errors.scm:1424
+#: src/scm/webid-oidc/errors.scm:1428
 #, scheme-format
 msgid "the origin is ~a"
 msgstr "l’origine est ~a"
 
-#: src/scm/webid-oidc/errors.scm:1427
+#: src/scm/webid-oidc/errors.scm:1431
 #, scheme-format
 msgid "a message is attached: ~a"
 msgstr "un message est attaché : ~a"
 
-#: src/scm/webid-oidc/errors.scm:1430
+#: src/scm/webid-oidc/errors.scm:1434
 #, scheme-format
 msgid "the values ~s are problematic"
 msgstr "les valeurs ~s sont problématiques"
 
-#: src/scm/webid-oidc/errors.scm:1433
+#: src/scm/webid-oidc/errors.scm:1437
 msgid "there is a kind and args"
 msgstr "il y a un type et des arguments"
 
-#: src/scm/webid-oidc/errors.scm:1435
+#: src/scm/webid-oidc/errors.scm:1439
 msgid "there is an assertion failure"
 msgstr "il y a un échec d’assertion"
 
-#: src/scm/webid-oidc/errors.scm:1437
+#: src/scm/webid-oidc/errors.scm:1441
 #, scheme-format
 msgid "the program quits with code ~a"
 msgstr "le programme quitte avec le code ~a"
 
-#: src/scm/webid-oidc/errors.scm:1440
+#: src/scm/webid-oidc/errors.scm:1444
 msgid "the program cannot recover from this exception"
 msgstr "le programme ne peut pas récupérer après cette exception"
 
-#: src/scm/webid-oidc/errors.scm:1442
+#: src/scm/webid-oidc/errors.scm:1446
 msgid "there is an external error"
 msgstr "il y a une erreur externe"
 
-#: src/scm/webid-oidc/errors.scm:1444
+#: src/scm/webid-oidc/errors.scm:1448
 msgid "there is an error"
 msgstr "il y a une erreur"
 
-#: src/scm/webid-oidc/errors.scm:1446
+#: src/scm/webid-oidc/errors.scm:1450
 #, scheme-format
 msgid "Unhandled exception type ~a."
 msgstr "Type d’exception non pris en charge ~a."
diff --git a/po/webid-oidc.pot b/po/webid-oidc.pot
index e6682c9..ae6f474 100644
--- a/po/webid-oidc.pot
+++ b/po/webid-oidc.pot
@@ -8,7 +8,7 @@ msgid ""
 msgstr ""
 "Project-Id-Version: webid-oidc SNAPSHOT\n"
 "Report-Msgid-Bugs-To: vivien@planete-kraus.eu\n"
-"POT-Creation-Date: 2021-06-27 00:19+0200\n"
+"POT-Creation-Date: 2021-06-27 00:20+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"
@@ -700,88 +700,92 @@ msgstr ""
 #: src/scm/webid-oidc/errors.scm:1396
 #, scheme-format
 msgid ""
-"the operation on ~s by ~s is refused, because it’s not by ~s and the access "
+"the operation on ~s by ~a is refused, because it’s not by ~s and the access "
 "control forbids the following mode of operation: ~s"
 msgstr ""
 
-#: src/scm/webid-oidc/errors.scm:1401
+#: src/scm/webid-oidc/errors.scm:1400
+msgid "an anonymous user"
+msgstr ""
+
+#: src/scm/webid-oidc/errors.scm:1405
 #, scheme-format
 msgid ""
 "the client precondition failed for ~s: it allows for ~s, forbids ~s, but the "
 "resource has a representation of ~s"
 msgstr ""
 
-#: src/scm/webid-oidc/errors.scm:1403
+#: src/scm/webid-oidc/errors.scm:1407
 #, scheme-format
 msgid ""
 "the client precondition failed for ~s: it allows for ~s, forbids ~s, but the "
 "resource has no representation"
 msgstr ""
 
-#: src/scm/webid-oidc/errors.scm:1408
+#: src/scm/webid-oidc/errors.scm:1412
 msgid "that’s it"
 msgstr ""
 
-#: src/scm/webid-oidc/errors.scm:1412
+#: src/scm/webid-oidc/errors.scm:1416
 #, scheme-format
 msgid "~a and ~a"
 msgstr ""
 
-#: src/scm/webid-oidc/errors.scm:1415
+#: src/scm/webid-oidc/errors.scm:1419
 #, scheme-format
 msgid "~a, ~a"
 msgstr ""
 
-#: src/scm/webid-oidc/errors.scm:1419
+#: src/scm/webid-oidc/errors.scm:1423
 #, scheme-format
 msgid "the signature ~a does not match key ~s with payload ~a"
 msgstr ""
 
-#: src/scm/webid-oidc/errors.scm:1422
+#: src/scm/webid-oidc/errors.scm:1426
 msgid "there is an undefined variable"
 msgstr ""
 
-#: src/scm/webid-oidc/errors.scm:1424
+#: src/scm/webid-oidc/errors.scm:1428
 #, scheme-format
 msgid "the origin is ~a"
 msgstr ""
 
-#: src/scm/webid-oidc/errors.scm:1427
+#: src/scm/webid-oidc/errors.scm:1431
 #, scheme-format
 msgid "a message is attached: ~a"
 msgstr ""
 
-#: src/scm/webid-oidc/errors.scm:1430
+#: src/scm/webid-oidc/errors.scm:1434
 #, scheme-format
 msgid "the values ~s are problematic"
 msgstr ""
 
-#: src/scm/webid-oidc/errors.scm:1433
+#: src/scm/webid-oidc/errors.scm:1437
 msgid "there is a kind and args"
 msgstr ""
 
-#: src/scm/webid-oidc/errors.scm:1435
+#: src/scm/webid-oidc/errors.scm:1439
 msgid "there is an assertion failure"
 msgstr ""
 
-#: src/scm/webid-oidc/errors.scm:1437
+#: src/scm/webid-oidc/errors.scm:1441
 #, scheme-format
 msgid "the program quits with code ~a"
 msgstr ""
 
-#: src/scm/webid-oidc/errors.scm:1440
+#: src/scm/webid-oidc/errors.scm:1444
 msgid "the program cannot recover from this exception"
 msgstr ""
 
-#: src/scm/webid-oidc/errors.scm:1442
+#: src/scm/webid-oidc/errors.scm:1446
 msgid "there is an external error"
 msgstr ""
 
-#: src/scm/webid-oidc/errors.scm:1444
+#: src/scm/webid-oidc/errors.scm:1448
 msgid "there is an error"
 msgstr ""
 
-#: src/scm/webid-oidc/errors.scm:1446
+#: src/scm/webid-oidc/errors.scm:1450
 #, scheme-format
 msgid "Unhandled exception type ~a."
 msgstr ""
diff --git a/src/scm/webid-oidc/errors.scm b/src/scm/webid-oidc/errors.scm
index 5f07644..fd5d9c6 100644
--- a/src/scm/webid-oidc/errors.scm
+++ b/src/scm/webid-oidc/errors.scm
@@ -1393,8 +1393,12 @@
            (format #f (G_ "the client wants to create a resource at ~s, which is reserved for an auxiliary resource")
                    (get 'path)))
           ((&forbidden)
-           (format #f (G_ "the operation on ~s by ~s is refused, because it’s not by ~s and the access control forbids the following mode of operation: ~s")
-                   (get 'path) (uri->string (get 'user)) (uri->string (get 'owner))
+           (format #f (G_ "the operation on ~s by ~a is refused, because it’s not by ~s and the access control forbids the following mode of operation: ~s")
+                   (get 'path)
+                   (if (get 'user)
+                       (uri->string (get 'user))
+                       (G_ "an anonymous user"))
+                   (uri->string (get 'owner))
                    (uri->string (get 'mode))))
           ((&precondition-failed)
            (if (get 'real-etag)