aboutsummaryrefslogtreecommitdiffhomepage
path: root/dhall/server/service/plugin/mkRequestTermination.dhall
diff options
context:
space:
mode:
Diffstat (limited to 'dhall/server/service/plugin/mkRequestTermination.dhall')
-rw-r--r--dhall/server/service/plugin/mkRequestTermination.dhall34
1 files changed, 17 insertions, 17 deletions
diff --git a/dhall/server/service/plugin/mkRequestTermination.dhall b/dhall/server/service/plugin/mkRequestTermination.dhall
index aff538f..1d047d7 100644
--- a/dhall/server/service/plugin/mkRequestTermination.dhall
+++ b/dhall/server/service/plugin/mkRequestTermination.dhall
@@ -1,20 +1,20 @@
1 let Plugin = ./Plugin.dhall 1let Plugin = ./Plugin.dhall
2 2
3in let config = constructors ./Config.dhall 3let config = ./Config.dhall
4 4
5in λ(statusCode : Natural) 5in λ(statusCode : Natural)
6 → λ(contentType : Text) 6 → λ(contentType : Text)
7 → λ(body : Text) 7 → λ(body : Text)
8 → { name = 8 → { name =
9 "request-termination" 9 "request-termination"
10 , config = 10 , config =
11 config.RequestTermination 11 config.RequestTermination
12 { status_code = 12 { status_code =
13 statusCode 13 statusCode
14 , content_type = 14 , content_type =
15 contentType 15 contentType
16 , body = 16 , body =
17 body 17 body
18 } 18 }
19 } 19 }
20 : Plugin 20 : Plugin