diff options
| author | Vivien Kraus <vivien@planete-kraus.eu> | 2021-10-12 13:41:28 +0200 |
|---|---|---|
| committer | Vivien Kraus <vivien@planete-kraus.eu> | 2021-10-12 16:06:00 +0200 |
| commit | b11feb1bcf9ba3a179f262c743596ce48bd512b5 (patch) | |
| tree | 115a8e9ddef99e8e59f9b7193632baa5b4f2a05d | |
| parent | 1a0b6d7e454b6125e5718ee2a88f1d1fa89b3d5b (diff) | |
Test the server-fails-when-updating branch
| -rw-r--r-- | vkraus/services/disfluid.scm | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/vkraus/services/disfluid.scm b/vkraus/services/disfluid.scm index 21adca2..37f96e5 100644 --- a/vkraus/services/disfluid.scm +++ b/vkraus/services/disfluid.scm @@ -33,7 +33,7 @@ make-disfluid-issuer-configuration disfluid-issuer-configuration? (disfluid disfluid-issuer-configuration-disfluid - (default disfluid)) + (default disfluid-snapshot-server-fails-when-updating)) (complete-corresponding-source disfluid-issuer-configuration-complete-corresponding-source) (issuer disfluid-issuer-configuration-issuer) @@ -55,7 +55,7 @@ make-disfluid-reverse-proxy-configuration disfluid-reverse-proxy-configuration? (disfluid disfluid-reverse-proxy-configuration-disfluid - (default disfluid)) + (default disfluid-snapshot-server-fails-when-updating)) (complete-corresponding-source disfluid-reverse-proxy-configuration-complete-corresponding-source) (port disfluid-reverse-proxy-port (default 8090)) @@ -72,7 +72,7 @@ make-disfluid-hello-configuration disfluid-hello-configuration? (disfluid disfluid-hello-configuration-disfluid - (default disfluid)) + (default disfluid-snapshot-server-fails-when-updating)) (complete-corresponding-source disfluid-hello-configuration-complete-corresponding-source) (port disfluid-hello-configuration-port (default 8089)) @@ -85,7 +85,7 @@ make-disfluid-client-service-configuration disfluid-client-service-configuration? (disfluid disfluid-client-service-configuration-disfluid - (default disfluid)) + (default disfluid-snapshot-server-fails-when-updating)) (complete-corresponding-source disfluid-client-service-configuration-complete-corresponding-source) (client-id disfluid-client-service-configuration-client-id) @@ -102,7 +102,7 @@ make-disfluid-server-configuration disfluid-server-configuration? (disfluid disfluid-server-configuration-disfluid - (default disfluid)) + (default disfluid-snapshot-server-fails-when-updating)) (complete-corresponding-source disfluid-server-configuration-complete-corresponding-source) (server-name disfluid-server-configuration-server-name) |