dbms: use nodeIp instead of raw hostname
authorClinton Ebadi <clinton@unknownlamer.org>
Thu, 13 Dec 2018 01:17:55 +0000 (20:17 -0500)
committerClinton Ebadi <clinton@unknownlamer.org>
Thu, 13 Dec 2018 01:17:55 +0000 (20:17 -0500)
commit4555c311c5b74225cd3de63dc88e12644262dc2a
tree772ead2fbb0bb508cf4da76be93e6362ce65ea0e
parenta9627d6f609d9984f8e88dd4d57ece550bae13c1
dbms: use nodeIp instead of raw hostname

Should be using nodeIp like in all other cases where a node is
contacted.
src/main.sml