X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/b25161c70648676e61db4eead37a84f460182576..eda338944005ba86c03eb995b1f8c96a3246d89f:/src/domain.sml?ds=sidebyside diff --git a/src/domain.sml b/src/domain.sml index ed26bcd..c097128 100644 --- a/src/domain.sml +++ b/src/domain.sml @@ -114,10 +114,10 @@ val validGroup = validUser 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