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 13:41:28 +0200 |
| commit | adb37f029290a108ce32a4d937de0549b1f56a7c (patch) | |
| tree | d0629f8b5d9191e7d99e696abce0cfd0a353e45a /vkraus | |
| parent | 866e2a9529fd3cf4dc556fe8ce6ffc3085e7f81d (diff) | |
Test the server-fails-when-updating branch
Diffstat (limited to 'vkraus')
| -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) |