val _ = Env.type_one "no_spaces"
Env.string
- (CharVector.all (fn ch => not (Char.isSpace ch)))
+ (CharVector.all (fn ch => not (Char.isSpace ch) andalso ch <> #"\"" andalso ch <> #"'"))
val _ = Env.type_one "no_newlines"
Env.string
- (CharVector.all (fn ch => ch <> #"\n" andalso ch <> #"\r"))
+ (CharVector.all (fn ch => ch <> #"\n" andalso ch <> #"\r" andalso ch <> #"\"" andalso ch <> #"'"))
val _ = Env.type_one "ip"
Env.string
(masterNode := SOME node;
saveSoa ("master", #soa dns) node;
saveNamed ("master", #soa dns, masterIp, slaveIps) node)
- | _ => masterNode := NONE;
- !befores dom
- end
+ | _ => masterNode := NONE
+ end;
+ !befores dom
end,
fn () => !afters (!current))