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 | ||