X-Git-Url: http://git.hcoop.net/clinton/domtool2.git/blobdiff_plain/2882ee37fded46346977da456ae793f3e6a3bfac..d5754b53e4f119674b9d8a0bdf40bf92f6007d12:/src/domain.sml diff --git a/src/domain.sml b/src/domain.sml index 91d8005..71d448d 100644 --- a/src/domain.sml +++ b/src/domain.sml @@ -74,6 +74,9 @@ fun yourPath path = val _ = Env.type_one "no_spaces" Env.string (CharVector.all (fn ch => not (Char.isSpace ch))) +val _ = Env.type_one "no_newlines" + Env.string + (CharVector.all (fn ch => ch <> #"\n" andalso ch <> #"\r")) val _ = Env.type_one "ip" Env.string