domain: fix validIpv6 predicate release_20200227-2
authorClinton Ebadi <clinton@unknownlamer.org>
Fri, 28 Feb 2020 02:27:01 +0000 (21:27 -0500)
committerClinton Ebadi <clinton@unknownlamer.org>
Fri, 28 Feb 2020 02:27:01 +0000 (21:27 -0500)
commit3f097341ec5756f7f1cbc2f4f1a66eaa337e72ec
treef3d5620894ebf45e737f3d1910a62682acd119c8
parentbff51a6cec67fc6d2b2558176bd031823216f9d4
domain: fix validIpv6 predicate

Reject invalid IPs in format ":x" ("::" was already disallowed, so no
harm in requiring at least three segments), and allow localhost "::1"
as a valid format.

This completes the fix fwtool IPv6 LocalServer rule generation.
src/domain.sml