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