diff options
Diffstat (limited to 'dhall/server/service/plugin/mkIPRestriction.dhall')
| -rw-r--r-- | dhall/server/service/plugin/mkIPRestriction.dhall | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/dhall/server/service/plugin/mkIPRestriction.dhall b/dhall/server/service/plugin/mkIPRestriction.dhall index f803769..a27e5d9 100644 --- a/dhall/server/service/plugin/mkIPRestriction.dhall +++ b/dhall/server/service/plugin/mkIPRestriction.dhall | |||
| @@ -1,11 +1,11 @@ | |||
| 1 | let Plugin = ./Plugin.dhall | 1 | let Plugin = ./Plugin.dhall |
| 2 | 2 | ||
| 3 | in let config = constructors ./Config.dhall | 3 | let config = ./Config.dhall |
| 4 | 4 | ||
| 5 | in λ(whiteList : Text) | 5 | in λ(whiteList : Text) |
| 6 | → { name = | 6 | → { name = |
| 7 | "ip-restriction" | 7 | "ip-restriction" |
| 8 | , config = | 8 | , config = |
| 9 | config.IPRestriction { whitelist = whiteList } | 9 | config.IPRestriction { whitelist = whiteList } |
| 10 | } | 10 | } |
| 11 | : Plugin | 11 | : Plugin |