diff options
| author | Vivien Kraus <vivien@planete-kraus.eu> | 2020-12-07 22:20:53 +0100 |
|---|---|---|
| committer | Vivien Kraus <vivien@planete-kraus.eu> | 2021-06-05 16:59:09 +0200 |
| commit | c07743ad2d3a018ca3585badc99b5f0a58d07d8e (patch) | |
| tree | ffcf9de7cf02a47f38ac1f7266022d441d99c064 /src/webid-oidc-hello | |
| parent | faf688c880e4db84bab77616da57fbe23da263c1 (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) |