diff options
Diffstat (limited to 'dhall/server/service/plugin/correlationId.dhall')
-rw-r--r-- | dhall/server/service/plugin/correlationId.dhall | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/dhall/server/service/plugin/correlationId.dhall b/dhall/server/service/plugin/correlationId.dhall new file mode 100644 index 0000000..d5d5928 --- /dev/null +++ b/dhall/server/service/plugin/correlationId.dhall | |||
@@ -0,0 +1,23 @@ | |||
1 | let Plugin = ./Plugin.dhall | ||
2 | |||
3 | let config = ./Config.dhall | ||
4 | |||
5 | in λ(generator : Optional Text) | ||
6 | → { name = | ||
7 | "correlation-id" | ||
8 | , config = | ||
9 | config.CorrelationId | ||
10 | { header_name = | ||
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 | ||