mod_rewrite and ProxyPass

[hcoop/domtool2.git] / src / domain.sml

diff --git a/src/domain.sml b/src/domain.sml
index aa392bc..91d8005 100644 (file)
--- 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