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 18:33:30 +0200 |
| commit | b8779c2cfac9cc4b893ecb5f4d550e5041075658 (patch) | |
| tree | 1465c88807f64864a39c7c1bfe2a64a7c9e4812d | |
| parent | 498746c5496248e4b70ec8e7c8287999b7f88fb4 (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) |