diff options
Diffstat (limited to 'dhall/server/service/plugin/CorrelationId.dhall')
-rw-r--r-- | dhall/server/service/plugin/CorrelationId.dhall | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/dhall/server/service/plugin/CorrelationId.dhall b/dhall/server/service/plugin/CorrelationId.dhall index d96bfc9..655cd8d 100644 --- a/dhall/server/service/plugin/CorrelationId.dhall +++ b/dhall/server/service/plugin/CorrelationId.dhall | |||
@@ -1,11 +1,11 @@ | |||
1 | let Plugin = ./Plugin.dhall | 1 | let Plugin = ./Plugin.dhall |
2 | 2 | ||
3 | in let config = constructors ./Config.dhall | 3 | let config = ./Config.dhall |
4 | 4 | ||
5 | in { name = | 5 | in { name = |
6 | "correlation-id" | 6 | "correlation-id" |
7 | , config = | 7 | , config = |
8 | config.CorrelationId | 8 | config.CorrelationId |
9 | { header_name = "X-correl", echo_downstream = True } | 9 | { header_name = "X-correl", echo_downstream = True } |
10 | } | 10 | } |
11 | : Plugin | 11 | : Plugin |