andalso SS.exists (fn s' => path = s' orelse String.isPrefix (s' ^ "/") path) (your_paths ())
fun yourDomainHost s =
- let
+ yourDomain s
+ orelse let
val (pref, suf) = Substring.splitl (fn ch => ch <> #".") (Substring.full s)
in
Substring.size suf > 0
andalso validHost (Substring.string pref)
andalso yourDomain (Substring.string
- (Substring.slice (suf, 1, NONE)))
+ (Substring.slice (suf, 1, NONE)))
end
fun validUser s = size s > 0 andalso size s < 20
master = mstr,
slaves = slaves})
| _ => NONE)
+ | (EVar "noDns", _) => SOME NoDns
| _ => NONE
val befores = ref (fn (_ : string) => ())
if !ErrorMsg.anyErrors then
()
else
- Slave.handleChanges (map #2 diffs)(*;
+ Slave.handleChanges (map #2 diffs);
ignore (Slave.shellF ([Config.rm, " -rf ", Config.tmpDir, ""],
- fn cl => "Temp file cleanup failed: " ^ cl))*)
+ fn cl => "Temp file cleanup failed: " ^ cl))
end)