diff options
author | Vivien Kraus <vivien@planete-kraus.eu> | 2020-12-05 13:11:49 +0100 |
---|---|---|
committer | Vivien Kraus <vivien@planete-kraus.eu> | 2021-06-19 15:44:36 +0200 |
commit | b231e2f9ceea993419e1eeed3a415130f7ce1ed6 (patch) | |
tree | fdbce4e84daeca97ec9036426570e7f08bf7fd71 /src/scm/webid-oidc/stubs.scm | |
parent | 33504cea60b1f8b2dd87a7bff7c8db493d66de5d (diff) |
Run the identity provider as a script
Diffstat (limited to 'src/scm/webid-oidc/stubs.scm')
-rw-r--r-- | src/scm/webid-oidc/stubs.scm | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/scm/webid-oidc/stubs.scm b/src/scm/webid-oidc/stubs.scm index b29aa1f..cdea58a 100644 --- a/src/scm/webid-oidc/stubs.scm +++ b/src/scm/webid-oidc/stubs.scm @@ -137,6 +137,10 @@ (else (throw key subr message args rest)))))) +(define-public (open-output-file* filename . args) + (mkdir-p (dirname filename)) + (apply open-output-file filename args)) + (define-public (call-with-output-file* filename . args) (mkdir-p (dirname filename)) (apply call-with-output-file filename args)) |