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
- print ("pref[" ^ Substring.string pref ^ "] suf[" ^ Substring.string suf ^ "]\n");
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
+ andalso CharVector.all Char.isAlphaNum s
+
+val validGroup = validUser
+
val _ = Env.type_one "no_spaces"
Env.string
(CharVector.all (fn ch => not (Char.isSpace ch)))
Env.string
yourDomainHost
+val _ = Env.type_one "user"
+ Env.string
+ validUser
+
+val _ = Env.type_one "group"
+ Env.string
+ validGroup
+
val _ = Env.type_one "your_user"
Env.string
yourUser
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)