diff options
| author | paulrbr-fl <43074087+paulrbr-fl@users.noreply.github.com> | 2019-08-08 16:07:12 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-08-08 16:07:12 +0200 |
| commit | cfcebcd5f0c7a99ab60de773e67e7ee35e8b0f0a (patch) | |
| tree | 6aefb077fc07a715edb478cef3e8fc3a24e3a45c /dhall/server/service/plugin/CorrelationId.dhall | |
| parent | f820c109a54ea5c09fcff01025ba3ab63f18912c (diff) | |
| parent | 42e5588b7feb13e90964b5371fb9f1bdcfaf793a (diff) | |
| download | ansible-kong-app-cfcebcd5f0c7a99ab60de773e67e7ee35e8b0f0a.tar.gz ansible-kong-app-cfcebcd5f0c7a99ab60de773e67e7ee35e8b0f0a.tar.zst ansible-kong-app-cfcebcd5f0c7a99ab60de773e67e7ee35e8b0f0a.zip | |
Merge pull request #16 from paulrbr-fl/add-default-correlation-idv0.10
config(dhall): add parameter 'generator' to CorrelationID plugin
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 | ||