HCoop
/
hcoop
/
domtool2.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
basic internal ipv6 support
[hcoop/domtool2.git]
/
src
/
domain.sml
diff --git
a/src/domain.sml
b/src/domain.sml
index
aebf0f1
..
90afaad
100644
(file)
--- 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
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))
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 rmdom' delete resultRoot doms =
let
- fun doNode (node, _) =
+ fun doNode (node, _
, _
) =
let
val dname = OS.Path.joinDirFile {dir = resultRoot,
file = 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")
end
handle IO.Io _ => print ("Warning: IO error deleting domains on " ^ node ^ ".\n")
- fun cleanupNode (node, _) =
+ fun cleanupNode (node, _
, _
) =
let
fun doDom dom =
let
let
fun doDom dom =
let