aboutsummaryrefslogtreecommitdiffhomepage
path: root/dhall/server/service/plugin/Config.dhall
diff options
context:
space:
mode:
Diffstat (limited to 'dhall/server/service/plugin/Config.dhall')
-rw-r--r--dhall/server/service/plugin/Config.dhall11
1 files changed, 5 insertions, 6 deletions
diff --git a/dhall/server/service/plugin/Config.dhall b/dhall/server/service/plugin/Config.dhall
index ea53361..1f60080 100644
--- a/dhall/server/service/plugin/Config.dhall
+++ b/dhall/server/service/plugin/Config.dhall
@@ -1,9 +1,8 @@
1< CorrelationId : 1< CorrelationId :
2 { header_name : Text, echo_downstream : Bool, generator : Text } 2 { header_name : Text, echo_downstream : Bool, generator : Text }
3| RequestTransformer : 3| RequestTransformer : { add : { headers : List Text } }
4 { add : { headers : List Text } }
5| RequestTermination : 4| RequestTermination :
6 { status_code : Natural, content_type : Text, body : Text } 5 { status_code : Natural, content_type : Text, body : Text }
7| IPRestriction : 6| IPRestriction : { whitelist : Text }
8 { whitelist : Text } 7| PreFunction : { functions : List Text }
9> 8>