domain: add node ipv6 address to nodeMap
authorClinton Ebadi <clinton@unknownlamer.org>
Wed, 26 Dec 2018 01:42:57 +0000 (20:42 -0500)
committerClinton Ebadi <clinton@unknownlamer.org>
Wed, 26 Dec 2018 01:42:57 +0000 (20:42 -0500)
commit9508ffdf9ea4f8d347068cc6bb01755de7fe9b7d
treeffc635b01599cfd5150ff6306ea1cb3ade1aa127
parentc23af4454e79f11677c808b3e05e9d14061f71b1
domain: add node ipv6 address to nodeMap
src/domain.sig
src/domain.sml