Increase length limits on domains
authorAdam Chlipala <adamc@hcoop.net>
Sat, 19 Jan 2008 20:17:27 +0000 (20:17 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Sat, 19 Jan 2008 20:17:27 +0000 (20:17 +0000)
src/domain.sml

index d7b4052..8960bf9 100644 (file)
@@ -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