diff options
author | tv <tv@krebsco.de> | 2016-04-08 04:38:10 +0200 |
---|---|---|
committer | tv <tv@krebsco.de> | 2016-04-08 04:38:10 +0200 |
commit | 4e99bb9d12405cf1910af3205d8668604e516f50 (patch) | |
tree | 50a9aaad05ae1ab11320b972fca6a388beada400 | |
parent | 0dc2a751a902e11b4e3d2805fe2f97b09479ec85 (diff) |
krebs types.addr4: check type harder
-rw-r--r-- | krebs/4lib/types.nix | 2 |
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 |