X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/fc195b3e9425f6e542cc3b8d39fe7753bdb7f1b0..c23af4454e79f11677c808b3e05e9d14061f71b1:/src/domain.sml diff --git a/src/domain.sml b/src/domain.sml index aebf0f1..90afaad 100644 --- a/src/domain.sml +++ b/src/domain.sml @@ -30,7 +30,7 @@ fun set_context ctx = ssl_context := SOME ctx fun get_context () = valOf (!ssl_context) val nodes = map #1 Config.nodeIps -val nodeMap = foldl (fn ((node, ip), mp) => SM.insert (mp, node, ip)) +val nodeMap = foldl (fn ((node, ip, ipv6), mp) => SM.insert (mp, node, ip)) SM.empty Config.nodeIps fun nodeIp node = valOf (SM.find (nodeMap, node)) @@ -794,7 +794,7 @@ val _ = Env.type_one "mail_node" fun rmdom' delete resultRoot doms = let - fun doNode (node, _) = + fun doNode (node, _, _) = let val dname = OS.Path.joinDirFile {dir = resultRoot, file = node} @@ -843,7 +843,7 @@ fun rmdom' delete resultRoot doms = end handle IO.Io _ => print ("Warning: IO error deleting domains on " ^ node ^ ".\n") - fun cleanupNode (node, _) = + fun cleanupNode (node, _, _) = let fun doDom dom = let