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

diff --git a/src/domain.sml b/src/domain.sml
index 71d448d..224755f 100644
--- a/src/domain.sml
+++ b/src/domain.sml
@@ -71,6 +71,17 @@ fun yourPath path =
 				     orelse ch = #"-" orelse ch = #"_") path
     andalso SS.exists (fn s' => path = s' orelse String.isPrefix (s' ^ "/") path) (your_paths ())
 
+fun yourDomainHost s =
+    let
+	val (pref, suf) = Substring.splitl (fn ch => ch <> #".") (Substring.full s)
+    in
+	print ("pref[" ^ Substring.string pref ^ "] suf[" ^ Substring.string suf ^ "]\n");
+	Substring.size suf > 0
+	andalso validHost (Substring.string pref)
+	andalso yourDomain (Substring.string
+			       (Substring.slice (suf, 1, NONE)))
+    end
+
 val _ = Env.type_one "no_spaces"
 		     Env.string
 		     (CharVector.all (fn ch => not (Char.isSpace ch)))
@@ -94,6 +105,10 @@ val _ = Env.type_one "your_domain"
 	Env.string
 	yourDomain
 
+val _ = Env.type_one "your_domain_host"
+	Env.string
+	yourDomainHost
+
 val _ = Env.type_one "your_user"
 	Env.string
 	yourUser