summaryrefslogtreecommitdiffstats
path: root/krebs
diff options
context:
space:
mode:
authortv <tv@krebsco.de>2016-04-08 04:38:10 +0200
committertv <tv@krebsco.de>2016-04-08 04:38:10 +0200
commit4e99bb9d12405cf1910af3205d8668604e516f50 (patch)
tree50a9aaad05ae1ab11320b972fca6a388beada400 /krebs
parent0dc2a751a902e11b4e3d2805fe2f97b09479ec85 (diff)
krebs types.addr4: check type harder
Diffstat (limited to 'krebs')
-rw-r--r--krebs/4lib/types.nix2
1 files changed, 1 insertions, 1 deletions
diff --git a/krebs/4lib/types.nix b/krebs/4lib/types.nix
index 24b4e14b1..6396927dd 100644
--- a/krebs/4lib/types.nix
+++ b/krebs/4lib/types.nix
@@ -220,7 +220,7 @@ types // rec {
check = let
IPv4address = let d = "([1-9]?[0-9]|1[0-9][0-9]|2[0-4][0-9]|25[0-5])"; in
concatMapStringsSep "." (const d) (range 1 4);
- in x: match IPv4address != null;
+ in x: match IPv4address x != null;
merge = mergeOneOption;
};
addr6 = str; # TODO