From 4555c311c5b74225cd3de63dc88e12644262dc2a Mon Sep 17 00:00:00 2001 From: Clinton Ebadi Date: Wed, 12 Dec 2018 20:17:55 -0500 Subject: [PATCH 1/1] dbms: use nodeIp instead of raw hostname Should be using nodeIp like in all other cases where a node is contacted. --- src/main.sml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.20.1