diff options
| author | Vivien Kraus <vivien@planete-kraus.eu> | 2020-12-07 22:20:53 +0100 |
|---|---|---|
| committer | Vivien Kraus <vivien@planete-kraus.eu> | 2021-05-11 00:38:50 +0200 |
| commit | a9b911038ebc5537479e3f48fb6e0cf8492faf2a (patch) | |
| tree | 71cd11ef030037e0df86a2efc67df3d006f524e0 /src/webid-oidc-hello | |
| parent | 5ff953aaa42250bfeae9cff59988dafcb6fe8185 (diff) | |
Create a hello world server
Diffstat (limited to 'src/webid-oidc-hello')
| -rw-r--r-- | src/webid-oidc-hello | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/webid-oidc-hello b/src/webid-oidc-hello new file mode 100644 index 0000000..b19481f --- /dev/null +++ b/src/webid-oidc-hello @@ -0,0 +1,12 @@ +#!/usr/local/bin/guile \ +--no-auto-compile -s +!# + +(use-modules (webid-oidc hello-world)) + +(format (current-error-port) "Logging to hello.log and hello.err.\n") + +(set-current-output-port (open-output-file "hello.log")) +(set-current-error-port (open-output-file "hello.err")) + +(main) |