From: Clinton Ebadi Date: Thu, 13 Dec 2018 01:17:55 +0000 (-0500) Subject: dbms: use nodeIp instead of raw hostname X-Git-Tag: release_20181212~1 X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/commitdiff_plain/4555c311c5b74225cd3de63dc88e12644262dc2a dbms: use nodeIp instead of raw hostname Should be using nodeIp like in all other cases where a node is contacted. --- diff --git a/src/main.sml b/src/main.sml index 3079263..3a31c34 100644 --- a/src/main.sml +++ b/src/main.sml @@ -542,7 +542,7 @@ fun requestDbUser dbtype = let val (_, context) = requestContext (fn () => ()) val bio = OpenSSL.connect true (context, - Config.Dbms.dbmsNode ^ ":" ^ Int.toString Config.slavePort) + Domain.nodeIp Config.Dbms.dbmsNode ^ ":" ^ Int.toString Config.slavePort) in Msg.send (bio, MsgCreateDbUser dbtype); case Msg.recv bio of