HCoop
/
hcoop
/
domtool2.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Simple OpenSSL stuff in SML/NJ
[hcoop/domtool2.git]
/
src
/
domain.sml
diff --git
a/src/domain.sml
b/src/domain.sml
index
55531d8
..
27bc806
100644
(file)
--- a/
src/domain.sml
+++ b/
src/domain.sml
@@
-222,6
+222,7
@@
val dnsKind = fn (EApp ((EApp ((EApp
master = mstr,
slaves = slaves})
| _ => NONE)
master = mstr,
slaves = slaves})
| _ => NONE)
+ | (EVar "noDns", _) => SOME NoDns
| _ => NONE
val befores = ref (fn (_ : string) => ())
| _ => NONE
val befores = ref (fn (_ : string) => ())
@@
-546,9
+547,9
@@
val () = Env.registerPost (fn () =>
if !ErrorMsg.anyErrors then
()
else
if !ErrorMsg.anyErrors then
()
else
- Slave.handleChanges (map #2 diffs)
(*
;
+ Slave.handleChanges (map #2 diffs);
ignore (Slave.shellF ([Config.rm, " -rf ", Config.tmpDir, ""],
ignore (Slave.shellF ([Config.rm, " -rf ", Config.tmpDir, ""],
- fn cl => "Temp file cleanup failed: " ^ cl))
*)
+ fn cl => "Temp file cleanup failed: " ^ cl))
end)
end)