Create a hello world server

3 files changed, 55 insertions, 27 deletions

diff --git a/po/POTFILES.in b/po/POTFILES.in
index 97cf2cf..48b1c7d 100644
--- a/po/POTFILES.in
+++ b/po/POTFILES.in
@@ -9,4 +9,5 @@ src/hash/libwebidoidc-hash.c
 src/scm/webid-oidc/errors.scm
 src/scm/webid-oidc/identity-provider.scm
 src/scm/webid-oidc/authorization-page-unsafe.scm
-src/scm/webid-oidc/resource-server.scm
\ No newline at end of file
+src/scm/webid-oidc/resource-server.scm
+src/scm/webid-oidc/hello-world.scm
diff --git a/po/fr.po b/po/fr.po
index ae64e42..0f923de 100644
--- a/po/fr.po
+++ b/po/fr.po
@@ -705,10 +705,12 @@ msgid "Warning: generating a new key pair."
 msgstr "Attention : génération d'une nouvelle paire de clé."
 
 #: src/scm/webid-oidc/identity-provider.scm:147
+#: src/scm/webid-oidc/hello-world.scm:32
 msgid "command-line|version"
 msgstr "version"
 
 #: src/scm/webid-oidc/identity-provider.scm:149
+#: src/scm/webid-oidc/hello-world.scm:34
 msgid "comand-line|help"
 msgstr "aide"
 
@@ -741,6 +743,7 @@ msgid "comand-line|token-endpoint-uri"
 msgstr "uri-terminal-jeton"
 
 #: src/scm/webid-oidc/identity-provider.scm:165
+#: src/scm/webid-oidc/hello-world.scm:36
 msgid "comand-line|port"
 msgstr "port"
 
@@ -899,6 +902,7 @@ msgstr ""
 "Si vous trouvez une erreur dans le programme, envoyez-en un rapport à ~a.\n"
 
 #: src/scm/webid-oidc/identity-provider.scm:262
+#: src/scm/webid-oidc/hello-world.scm:60
 #, scheme-format
 msgid "~a version ~a\n"
 msgstr "~a version ~a\n"
@@ -932,6 +936,7 @@ msgid "You need to set the token endpoint URI.\n"
 msgstr "Vous devez définir l'URI du terminal de jeton.\n"
 
 #: src/scm/webid-oidc/identity-provider.scm:322
+#: src/scm/webid-oidc/hello-world.scm:71
 msgid "The port should be a number between 0 and 65535.\n"
 msgstr "Le port doit être un nombre entre 0 et 65535.\n"
 
@@ -1092,6 +1097,33 @@ msgstr ""
 msgid "~a: authentication failure: ~a\n"
 msgstr "~a : échec d’authentificationn : ~a\n"
 
+#: src/scm/webid-oidc/hello-world.scm:45
+#, scheme-format
+msgid ""
+"~a [OPTIONS]...\n"
+"\n"
+"Display your identity contained in the XXX-Agent header.\n"
+"\n"
+"Options:\n"
+"  -h, --help:\n"
+"      display this help message and exit.\n"
+"  -v, --version:\n"
+"      display the version information (~a) and exit.\n"
+"  -p PORT, --port=8080:\n"
+"      set the port to bind.\n"
+msgstr ""
+"~a [OPTIONS]…\n"
+"\n"
+"Affiche votre identité contenue dans l’en-tête XXX-Agent.\n"
+"\n"
+"Options :\n"
+"  -h, --help :\n"
+"      affiche ce message d’aide et quitte.\n"
+"  -v, --version :\n"
+"      affiche le numéro de version (~a) et quitte.\n"
+"  -p PORT, --port=8080 :\n"
+"      définit le port à lier.\n"
+
 #, scheme-format
 #~ msgid ""
 #~ "~a is neither an identity provider (because ~a) nor a webid (because ~a)"
@@ -1256,32 +1288,6 @@ msgstr "~a : échec d’authentificationn : ~a\n"
 #~ "L’adresse du serveur doit être présent (avec protocole) avec\n"
 #~ "--uri-sortant.\n"
 
-#, scheme-format
-#~ msgid ""
-#~ "~a [OPTIONS]...\n"
-#~ "\n"
-#~ "Display your identity contained in the XXX-Agent header.\n"
-#~ "\n"
-#~ "Options:\n"
-#~ "  -h, --help:\n"
-#~ "      display this help message and exit.\n"
-#~ "  -v, --version:\n"
-#~ "      display the version information (~a) and exit.\n"
-#~ "  -p PORT, --port=8080:\n"
-#~ "      set the port to bind.\n"
-#~ msgstr ""
-#~ "~a [OPTIONS]…\n"
-#~ "\n"
-#~ "Affiche votre identité contenue dans l’en-tête XXX-Agent.\n"
-#~ "\n"
-#~ "Options :\n"
-#~ "  -h, --help :\n"
-#~ "      affiche ce message d’aide et quitte.\n"
-#~ "  -v, --version :\n"
-#~ "      affiche le numéro de version (~a) et quitte.\n"
-#~ "  -p PORT, --port=8080 :\n"
-#~ "      définit le port à lier.\n"
-
 #~ msgid "comand-line|client-id"
 #~ msgstr "id-client"
 
diff --git a/po/webid-oidc.pot b/po/webid-oidc.pot
index 87f9f50..a53ac36 100644
--- a/po/webid-oidc.pot
+++ b/po/webid-oidc.pot
@@ -690,10 +690,12 @@ msgid "Warning: generating a new key pair."
 msgstr ""
 
 #: src/scm/webid-oidc/identity-provider.scm:147
+#: src/scm/webid-oidc/hello-world.scm:32
 msgid "command-line|version"
 msgstr ""
 
 #: src/scm/webid-oidc/identity-provider.scm:149
+#: src/scm/webid-oidc/hello-world.scm:34
 msgid "comand-line|help"
 msgstr ""
 
@@ -726,6 +728,7 @@ msgid "comand-line|token-endpoint-uri"
 msgstr ""
 
 #: src/scm/webid-oidc/identity-provider.scm:165
+#: src/scm/webid-oidc/hello-world.scm:36
 msgid "comand-line|port"
 msgstr ""
 
@@ -811,6 +814,7 @@ msgid ""
 msgstr ""
 
 #: src/scm/webid-oidc/identity-provider.scm:262
+#: src/scm/webid-oidc/hello-world.scm:60
 #, scheme-format
 msgid "~a version ~a\n"
 msgstr ""
@@ -844,6 +848,7 @@ msgid "You need to set the token endpoint URI.\n"
 msgstr ""
 
 #: src/scm/webid-oidc/identity-provider.scm:322
+#: src/scm/webid-oidc/hello-world.scm:71
 msgid "The port should be a number between 0 and 65535.\n"
 msgstr ""
 
@@ -995,3 +1000,19 @@ msgstr ""
 #, scheme-format
 msgid "~a: authentication failure: ~a\n"
 msgstr ""
+
+#: src/scm/webid-oidc/hello-world.scm:45
+#, scheme-format
+msgid ""
+"~a [OPTIONS]...\n"
+"\n"
+"Display your identity contained in the XXX-Agent header.\n"
+"\n"
+"Options:\n"
+"  -h, --help:\n"
+"      display this help message and exit.\n"
+"  -v, --version:\n"
+"      display the version information (~a) and exit.\n"
+"  -p PORT, --port=8080:\n"
+"      set the port to bind.\n"
+msgstr ""