diff options
| author | Vivien Kraus <vivien@planete-kraus.eu> | 2021-10-12 21:07:41 +0200 |
|---|---|---|
| committer | Vivien Kraus <vivien@planete-kraus.eu> | 2021-10-12 21:34:33 +0200 |
| commit | 766790c77f22b376353ecf85ab7178e7bbff7822 (patch) | |
| tree | 5767f7baec573a0d5421be1242d4a67aaa14aeb7 | |
| parent | 1261d8aaa6848497df14918fc4dbca9a4e20d46d (diff) | |
Use the debug 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..7fe1a7f 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-debug)) (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-debug)) (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-debug)) (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-debug)) (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-debug)) (complete-corresponding-source disfluid-server-configuration-complete-corresponding-source) (server-name disfluid-server-configuration-server-name) |