diff options
Diffstat (limited to 'dhall/server/service/plugin/CorrelationId.dhall')
-rw-r--r-- | dhall/server/service/plugin/CorrelationId.dhall | 26 |
1 files changed, 19 insertions, 7 deletions
diff --git a/dhall/server/service/plugin/CorrelationId.dhall b/dhall/server/service/plugin/CorrelationId.dhall index 655cd8d..fc69f4f 100644 --- a/dhall/server/service/plugin/CorrelationId.dhall +++ b/dhall/server/service/plugin/CorrelationId.dhall | |||
@@ -2,10 +2,22 @@ let Plugin = ./Plugin.dhall | |||
2 | 2 | ||
3 | let config = ./Config.dhall | 3 | let config = ./Config.dhall |
4 | 4 | ||
5 | in { name = | 5 | in λ(generator : Optional Text) |
6 | "correlation-id" | 6 | → { name = |
7 | , config = | 7 | "correlation-id" |
8 | config.CorrelationId | 8 | , config = |
9 | { header_name = "X-correl", echo_downstream = True } | 9 | config.CorrelationId |
10 | } | 10 | { header_name = |
11 | : Plugin | 11 | "X-correl" |
12 | , echo_downstream = | ||
13 | True | ||
14 | , generator = | ||
15 | Optional/fold | ||
16 | Text | ||
17 | generator | ||
18 | Text | ||
19 | (λ(t : Text) → t) | ||
20 | "uuid#counter" | ||
21 | } | ||
22 | } | ||
23 | : Plugin | ||