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 22:05:25 +0200 |
| commit | 1b40e84d566a5737309361013e74f7821c68699c (patch) | |
| tree | aa15f2882b975c8dd37d725ac17a5f9c5bfe230c | |
| parent | 9e744c7a650bcec776008c0ef4b7dc1edcbe1824 (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) |