X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/8a7c40fa29ff18a437fcf4ee3f248a7aeb41c19c..f8dfbbcc29a40de94580697e610db6254b85f0fb:/src/domain.sml?ds=sidebyside

diff --git a/src/domain.sml b/src/domain.sml
index aa392bc..91d8005 100644
--- a/src/domain.sml
+++ b/src/domain.sml
@@ -71,6 +71,10 @@ fun yourPath path =
 				     orelse ch = #"-" orelse ch = #"_") path
     andalso SS.exists (fn s' => path = s' orelse String.isPrefix (s' ^ "/") path) (your_paths ())
 
+val _ = Env.type_one "no_spaces"
+		     Env.string
+		     (CharVector.all (fn ch => not (Char.isSpace ch)))
+
 val _ = Env.type_one "ip"
 	Env.string
 	validIp