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 0ccfc49..2c4a6fd 100644
--- a/po/fr.po
+++ b/po/fr.po
@@ -707,10 +707,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:148
+#: src/scm/webid-oidc/hello-world.scm:31
 msgid "command-line|version"
 msgstr "version"
 
 #: src/scm/webid-oidc/identity-provider.scm:150
+#: src/scm/webid-oidc/hello-world.scm:33
 msgid "comand-line|help"
 msgstr "aide"
 
@@ -743,6 +745,7 @@ msgid "comand-line|token-endpoint-uri"
 msgstr "uri-terminal-jeton"
 
 #: src/scm/webid-oidc/identity-provider.scm:166
+#: src/scm/webid-oidc/hello-world.scm:35
 msgid "comand-line|port"
 msgstr "port"
 
@@ -901,6 +904,7 @@ msgstr ""
 "Si vous trouvez une erreur dans le programme, envoyez-en un rapport à ~a.\n"
 
 #: src/scm/webid-oidc/identity-provider.scm:267
+#: src/scm/webid-oidc/hello-world.scm:61
 #, scheme-format
 msgid "~a version ~a\n"
 msgstr "~a version ~a\n"
@@ -934,6 +938,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:327
+#: src/scm/webid-oidc/hello-world.scm:72
 msgid "The port should be a number between 0 and 65535.\n"
 msgstr "Le port doit être un nombre entre 0 et 65535.\n"
 
@@ -1094,6 +1099,33 @@ msgstr ""
 msgid "~a: authentication failure: ~a\n"
 msgstr "~a : échec d’authentificationn : ~a\n"
 
+#: src/scm/webid-oidc/hello-world.scm:44
+#, scheme-format
+msgid ""
+"~a [OPTIONS]...\n"
+"\n"
+"Display your identity contained in the XXX-Agent header.\n"
+"\n"
+"Options:\n"
+"  -h, --~a:\n"
+"      display this help message and exit.\n"
+"  -v, --~a:\n"
+"      display the version information (~a) and exit.\n"
+"  -p PORT, --port=~a:\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, --~a :\n"
+"      affiche ce message d’aide et quitte.\n"
+"  -v, --~a :\n"
+"      affiche le numéro de version (~a) et quitte.\n"
+"  -p PORT, --~a=8080 :\n"
+"      définit le port à lier.\n"
+
 #, scheme-format
 #~ msgid ""
 #~ "~a is neither an identity provider (because ~a) nor a webid (because ~a)"
@@ -1312,32 +1344,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, --~a:\n"
-#~ "      display this help message and exit.\n"
-#~ "  -v, --~a:\n"
-#~ "      display the version information (~a) and exit.\n"
-#~ "  -p PORT, --port=~a:\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, --~a :\n"
-#~ "      affiche ce message d’aide et quitte.\n"
-#~ "  -v, --~a :\n"
-#~ "      affiche le numéro de version (~a) et quitte.\n"
-#~ "  -p PORT, --~a=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 59c3286..d652b54 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:148
+#: src/scm/webid-oidc/hello-world.scm:31
 msgid "command-line|version"
 msgstr ""
 
 #: src/scm/webid-oidc/identity-provider.scm:150
+#: src/scm/webid-oidc/hello-world.scm:33
 msgid "comand-line|help"
 msgstr ""
 
@@ -726,6 +728,7 @@ msgid "comand-line|token-endpoint-uri"
 msgstr ""
 
 #: src/scm/webid-oidc/identity-provider.scm:166
+#: src/scm/webid-oidc/hello-world.scm:35
 msgid "comand-line|port"
 msgstr ""
 
@@ -811,6 +814,7 @@ msgid ""
 msgstr ""
 
 #: src/scm/webid-oidc/identity-provider.scm:267
+#: src/scm/webid-oidc/hello-world.scm:61
 #, 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:327
+#: src/scm/webid-oidc/hello-world.scm:72
 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:44
+#, scheme-format
+msgid ""
+"~a [OPTIONS]...\n"
+"\n"
+"Display your identity contained in the XXX-Agent header.\n"
+"\n"
+"Options:\n"
+"  -h, --~a:\n"
+"      display this help message and exit.\n"
+"  -v, --~a:\n"
+"      display the version information (~a) and exit.\n"
+"  -p PORT, --port=~a:\n"
+"      set the port to bind.\n"
+msgstr ""