diff options
Diffstat (limited to 'dhall/server/service/plugin/CorrelationId.dhall')
-rw-r--r-- | dhall/server/service/plugin/CorrelationId.dhall | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/dhall/server/service/plugin/CorrelationId.dhall b/dhall/server/service/plugin/CorrelationId.dhall deleted file mode 100644 index fc69f4f..0000000 --- a/dhall/server/service/plugin/CorrelationId.dhall +++ /dev/null | |||
@@ -1,23 +0,0 @@ | |||
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 | ||