val nodes : string list
(* Names of all system nodes *)
- val nodeMap : string Ast.StringMap.map
+ val nodeMap : (string * string) Ast.StringMap.map
(* Map node names to IP addresses *)
val nodeIp : string -> string
(* Look up a node in nodeMap *)
+ val nodeIpv6 : string -> string
+ (* Look up a node in nodeMap *)
val setUser : string -> unit
val getUser : unit -> string
fun get_context () = valOf (!ssl_context)
val nodes = map #1 Config.nodeIps
-val nodeMap = foldl (fn ((node, ip, ipv6), mp) => SM.insert (mp, node, ip))
+val nodeMap = foldl (fn ((node, ip, ipv6), mp) => SM.insert (mp, node, (ip, ipv6)))
SM.empty Config.nodeIps
-fun nodeIp node = valOf (SM.find (nodeMap, node))
+fun nodeIp node = #1 (valOf (SM.find (nodeMap, node)))
+fun nodeIpv6 node = #2 (valOf (SM.find (nodeMap, node)))
val usr = ref ""
fun getUser () = !usr