From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 19 Jan 2008 20:17:27 +0000 (+0000)
Subject: Increase length limits on domains
X-Git-Tag: release_2010-11-19~65
X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/commitdiff_plain/16c5174bf6aeb5be5122390678094cbb8387e6d5?ds=sidebyside

Increase length limits on domains
---

diff --git a/src/domain.sml b/src/domain.sml
index d7b4052..8960bf9 100644
--- a/src/domain.sml
+++ b/src/domain.sml
@@ -113,11 +113,11 @@ fun validIpv6 s =
 fun isIdent ch = Char.isLower ch orelse Char.isDigit ch
 
 fun validHost s =
-    size s > 0 andalso size s < 20
+    size s > 0 andalso size s < 50
     andalso CharVector.all (fn ch => isIdent ch orelse ch = #"-") s
 
 fun validDomain s =
-    size s > 0 andalso size s < 100
+    size s > 0 andalso size s < 200
     andalso List.all validHost (String.fields (fn ch => ch = #".") s)
 
 fun validNode s = List.exists (fn s' => s = s') nodes